xv65: c runtime: xv65_argc, xv65_argv, xv65_env