Simple push down automata interpreter