> Modulo -fomit-frame-pointer, I have never seen the traceback be > wrong in gdb. That would explain it then, since we compile the runtime (including IntInf.c) -fomit-frame-pointer.