What do you think of Ada's representation clauses and Zig's packed structs? Do they give you the syntax and semantics for arrangement (ordering, padding, widths), endianness, and control of bit order that you want?

Also, thank you for an educational comment.

Edit: I forgot to ask about your thoughts on Ada's and Zig's type punning.