Error ontology trees for SafeDocs
tool for exploring file formats and testbed for Hammer ideas
parser-combinator -> gateware flow targeting regular languages