stored_argv

char ** syten::stored_argv = 0

Stored argv, used by onterminate()

Referenced by initialise_terminator(), and onterminate().