; First, load your system
(load "p1")

; This file illustrates how you can build a test suite input file

; This line should briefly say what the test case is about
(cons 1 ())

; This line should briefly say what the test case is about
(cons 1 (cons 2 ()))

; This is option, Scheme will also quit when it reaches the end of file.
(exit)