I don't have experience with this area, but... > this would require that unions can work on the 'bit level' in packed structs Just as Zig has packed structs,

I don't have experience with this area, but... > this would require that unions can work on the 'bit level' in packed structs Just as Zig has packed structs, it also has packed unions. So that part shouldn't be an issue.