Best thanks for your fast reply!

... did not know that gdb has support for printing RTX. *VERY* useful feature 
(and much better than temporary including debugging printout commands in the 
compiler itself :-) ).

Yours,

Björn

Reply via email to