TIME1_TOTAL_SEC
TIME1_TOTAL_SEC));
sleepts.tv_sec = TIME1_TOTAL_SEC;
ATF_REQUIRE(ots.tv_sec < INTPTR_MAX - TIME1_TOTAL_SEC);
seconds = ots.tv_sec + TIME1_TOTAL_SEC;