exchanging coast.rkt for main.rkt