regress/parser/smt2perr203.smt2:2:14: invalid annotation syntax, expected attribute