Grammar_example uses BlockML.Grammar.MakeUnsafe.