off-by-one in std-uint type