yeah unsigned are really about opting to perform modular arithmetic, or for mapping hardware registers.
replyC is weakly typed, the basic types are really not to maintain invariants or detect their violation
C is weakly typed, the basic types are really not to maintain invariants or detect their violation