OCaml tooling for tracing Xen guest address translation
LALR(1) parser generator that builds canonical LR(1) item sets