check_argument