Continuation passing style vs aggressively trimmed call stack

def add (x,y) => x + y

print( add(7, 5) )

[&add, x, y, &print, _, &repl, ...]

[&print, 12, &repl, ...]

[repl, ...]

for (;;)
   args = (args[0].function_pointer)(args);