Simplify argument parsing for syscalls, a la Ken's nfs_args()
