1 2 3 4 5 6 7 8 9 10 11
function f_latent() { wait(10.); echo("f_latent here"); } function f1 () { f_latent(); echo("f1 here"); }