Code generation now compiles, still untested.