> BTW, I tried to pass --RTS=rts-sjlj to gnatmake but it did not change > anything as regards aborting get_immediate (?)... Should be --RTS=sjlj. If you want to follow this up, I'd suggest opening a ticket with full source code on gnattracker. Arno