Some more RAM + binary size optimizations. o type_stack_mark is no longer inline, saves ~10Kb code size o The type_stack and pike_type_mark_stack are now allocated on demand when possible (using mmap, the pages are allocated when accessed at least on macosx and linux) This saves about 1Mb of RSS in a freshly started pike.