1 let step k ok outs ins =
2 if ok then k ok outs ins else
4 | "SHIFT" :: tl -> k true ("SHIFT" :: outs) tl
5 | "MAXIMUM" :: tl -> k true ("MAXIMUM" :: outs) tl
6 | "MAXIMUN" :: tl -> k true ("MAXIMUM" :: outs) tl
7 | "ADDITION" :: tl -> k true ("ADDITION" :: outs) tl
11 RecommPccFor.register_r step