On 7/5/24 11:13, Timon Gehr wrote: > ... > It could also put both in separate 4-byte integers. Actually no, this is one of the few things it cannot do. I got a bit too excited there. Anyway, the point stands.