Annotated codegen