added code generation and verification