Annotation-based code generation