Nat/to_u16.kind