A quick introduction to the program format