regress/parser/smt2perr176.smt2:2:1: unexpected end of file in string