use predicate to verify consistency of __po_hi_time_t