machine_stack_cache_t  122 cont.c         static machine_stack_cache_t machine_stack_cache[MAX_MACHINE_STACK_CACHE];
machine_stack_cache_t  123 cont.c         static machine_stack_cache_t terminated_machine_stack;