use core.checkedint