value_range_check_base.f90
