> What was wrong is that stackBottomOffset and exnStackOffset > were displaced by 4 bytes. The gc.c file used the correct locations, > but the generated C code used the wrong ones... bad news. Afaicr, > that was the only difference. Thanks, that makes perfect sense. The constants can differ in different compiles of the runtime because they include offsets in GC_state.