primitive-checked-0.6.4.1: primitive functions with bounds-checking