trans@control-flow