Rename ex1_9.rkt to ex1_09.rkt