Generating with Python, and then piping each file to racket for evaluation.