xv65: command line args (not integrated with c runtime)