3 // Stuff that doesn't typecheck due to using 'global $foo';
5 $saved_argv0 = $GLOBALS['argv'][0];
6 function error_UNSAFE($message) {
8 echo("$saved_argv0: $message\n");
12 function parse_options_UNSAFE($optmap) {
14 return parse_options_impl($optmap, $argv);