web: racket -l MarioBot/bot