Title: Instructor's manual for Pascal