- printf("#define STD_ITBL_SIZE %d\n", sizeofW(StgInfoTable));
- printf("#define RET_ITBL_SIZE %d\n", sizeofW(StgRetInfoTable) - sizeofW(StgInfoTable));
- printf("#define PROF_ITBL_SIZE %d\n", sizeofW(StgProfInfo));
-
- printf("#define GRAN_ITBL_SIZE %d\n", 0);
- printf("#define TICKY_ITBL_SIZE %d\n", 0);
-