Generated code with new Drakon 1.22