An abstract machine for analyzing Racket bytecode.