Modified to ignore console interrupts. Otherwise console interrupts were Ada exceptions. Fixed by Joel with advice from Jiri.