explicit export list for ControlFlow