Correct code generation