Some (commented out) code to drive the codegen