On 07 Oct 2009, at 17:39, Jürgen Hestermann wrote: > And I don't know any other Pascal Compiler who does any checks in > this direction. Do some? I don't know, but ADA reportedly does. Such a feature definitely seems useful to me. Jonas