value_range_check.f90
