It intentionally does no range checking, for two reasons. First, regbits is intended to be maximally efficient at runtime (the whole rationale for type-safety and range checking at compile time).Second, regbits is intended to be used in a "bare metal" ("silicon") runtime environment, ...