log/smt2perr019.smt2:2:3: invalid (non-printable) character (code 12) in string