Test of codegen