Florian Weimer Sat, 25 Sep 2010 12:34:46 -0700
Is this supposed to work (it seems to me that -gnatC is silently ignored), and is the generated file format documented somewhere?