log/smt2perr058.smt2:1:19: invalid value '#x12' after ':status'