raze/tools/re2c/examples/push_model
..
push.re