Codegen spec fleshed out