`%: add overflow checks