log/smt2perr048.smt2:1:36: invalid zero bit-width