Libraries anvil runtime push

void push()
void push(OutputStream output)
Sets the execution output stream.
Parameters output -  Output stream where to direct the output, if omitted memory stream is used