I see! So in fact this compiler can compile arbitrary calls from one function to another, even though the web page says it can't?