Code generation, validation