finite_stack_machine