updated for renamed main.rkt