Actually, I think that such worrying about function-call overhead is the problem of a compiler, not of a user. The compiler should be willing to integrate procedures, when it is advantageous. Such optimizations may require compiler declarations, but I don't think that they belong in the language at this point.