i think GP means that conceptually, you could imagine goto-ing to a function's code - they do compile to labels after all.

fun note: C-- has something like that! iirc it's like calling a function, but reusing the current stackframe:

  jump f(expr1,. . .,exprn);

> "the `jump` statement performs a control jump but carrying parameters. It has as target [...] a procedure address and can optionally transfer arguments to that procedure."

https://www.microsoft.com/en-us/research/wp-content/uploads/...