exec: introduce get_user_arg_ptr() helper