check_constant_3_v2001: Invalid, removed.