Racket bytecode (version 8.5)