Stav dette: Exploring crash-proof grammars