log/smt2perr167.smt2:1:12: expected ')' after 'echo' at 'i'