5.4.2.15 Return Statement

 return-statement = "Return"  

Runtime Semantics.

§ A <return-statement> causes execution to branch to the <statement> immediately following the current procedure’s GoSub Resumption List’s most-recently-inserted <gosub-statement>.

If the current procedure’s GoSub Resumption List is empty, an error occurs (number 3, "Return without GoSub").