flow: first bits of generated code, yay