Rename main to main.rkt