add main.rkt