INTPTR_MAX
TEMPLATE(intptr, intptr_t, INTPTR_MIN, INTPTR_MAX)
#ifdef INTPTR_MAX
ATF_REQUIRE(ots.tv_sec < INTPTR_MAX - TIME1_TOTAL_SEC);
prop_number_t n_intptr_max = prop_number_create_signed(INTPTR_MAX);
val.v_intptr == INTPTR_MAX);
val.v_uintptr == INTPTR_MAX);