auto-converting simple racket code uses to pyret