Nicolas, Why do you say that there is a type mismatch in the record declaration? As far as I can see, the contents of the record type are completely irrelevant to the bug; it simply tries to convert the integer zero to an access value during elaboration (which should presumably return null). -- Ludovic Brenta.