forgot to rewrite symbolic parsers