def ad.check.nib

import bend-osdev-aead@0.1.0.0/check.bend as Check

import Base

67def ad.check.nib(+c: U32) -> U32:
68  U32.sub(c, ad.check.base(U32.is_lt(c, 58)))

Uses (4)