A pda simulator written in Racket