+ printf("#define OFFSET_CurrentTSO %d\n", OFFSET_CurrentTSO);
+ printf("#define OFFSET_CurrentNursery %d\n", OFFSET_CurrentNursery);
+ printf("#define OFFSET_HpAlloc %d\n", OFFSET_HpAlloc);
+
+ printf("#define OFFSET_stgGCEnter1 (%d)\n", OFFSET_stgGCEnter1);
+ printf("#define OFFSET_stgGCFun (%d)\n", OFFSET_stgGCFun);
+
+ printf("\n-- Offset of the .r (StgRegTable) field in a Capability\n");
+
+ printf("#define OFFW_Capability_r (%d)\n", OFFW_Capability_r);