It is not necessary to assign a function with no return value to a dummy variable. For example, insteady of the following:
  dummy = Push_banner(text)
you may use the following:
This applies to all user-defined functions, all the run-time library functions, and the following built-in functions:
The remainder of this chapter contains descriptions of all the built-in functions.