log/smt2perr040.smt2:3:1: expected '_' but reached end-of-file