// If the FunctionBody has no yield and no return, then no state machine gets created.
?