printf("#define TSO_STACK %d\n", TSO_STACK);
printf("\n-- Block descriptor offsets for the Native Code Generator\n");
printf("#define BDESCR_START %d\n", BDESCR_START);
printf("#define BDESCR_FREE %d\n", BDESCR_FREE);
printf("#define TSO_STACK %d\n", TSO_STACK);
printf("\n-- Block descriptor offsets for the Native Code Generator\n");
printf("#define BDESCR_START %d\n", BDESCR_START);
printf("#define BDESCR_FREE %d\n", BDESCR_FREE);