Decaf code generator