Add main.rkt