On 28 Jun 2008, at 2:08 am, Sven-Olof Nystr|m wrote: > I need to correct myself on one point. Let me correct your correction: the SPARK subset of Ada does _not_ include dynamic allocation, doubtless for the 'good reasons' you mentioned.