workstate_stack
