system_process_args now has return type