regress/parser/smt2perr124.smt2:3:1: unexpected end of file