const stack_t = system.stack_t;