exception BadToken of string*(string list)
fun
advance ts = let val h = hd (!ts)
                 val t = tl (!ts)
             in
                 ts := t;
                 h
             end

fun
eat t ts = if (hd (!ts)) = t then (advance ts; t)
           else raise BadToken (t,!ts)