printf("#define STD_HDR_SIZE %d\n", sizeofW(StgHeader));
printf("#define PROF_HDR_SIZE %d\n", sizeofW(StgProfHeader));
printf("#define GRAN_HDR_SIZE %d\n", sizeofW(StgGranHeader));
printf("#define STD_HDR_SIZE %d\n", sizeofW(StgHeader));
printf("#define PROF_HDR_SIZE %d\n", sizeofW(StgProfHeader));
printf("#define GRAN_HDR_SIZE %d\n", sizeofW(StgGranHeader));