Change return type of process_args to void