(the term node-stack is too general for google)