racket library for generating c code