validate_non_negative_integer