Remove n function arguments onto the stack
__push_args (Struct_Type args);
This function together with the companion function __pop_args is useful for passing the arguments of one function to another. See the desription of __pop_args for more information.
![[CIAO Logo]](../imgs/ciao_logo_navbar.gif){kind=logo}