public static Object listargv( String[] argv )
{
int len = argv.Length;
Object result = BNIL;
for ( int i = 0 ; i < len ; ++i )
result = new pair( getbytes( argv[len-i-1] ), result );
result = new pair( executable_name, result );
command_line = result;
return result;
}