Update test1.rkt