pax arm overflow checks