Functions
<function>print_stderr(txt)</function> Prints string to stderr. Meaning of the parameters is as follows: txt - string to be printed. <function>print_stderr</function> usage ... print_stderr("The answer is 42\n"); ...