time_between32
if (!time_between32(now, last_overflow,
if (!time_between32(now, last_overflow, last_overflow + HZ))
return !time_between32(now, last_overflow - HZ,