xv65: c runtime: argc, argv