machine: stack push/pop implement