> I tried something like this, and it did boot-strap, but failed in some acats > tests: Am I supposed to guess which ones? Note that you can have non-byte-aligned aggregate fields in Ada, i.e. arrays, so ARRAY_REFs can presumably reach here. -- Eric Botcazou