stack_machine: stack value