Reporting changes requested by Eliot Miranda.
Use vm_args.