Pettier codegen example