just curious, what's the debugging procedure for the Ada compiler? Is this already documented somewhere?