> When you assign to b[0] a is no longer the active member of the union
> and therefore reading from it
Why do you call `return reinterpret_cast<unsigned char const *>(&s)[1]` «reading from `a`»? (or `a[1]`, whatever)