regress/parser/smt2perr184.smt2:1:48: expected index > 1, got '1'