regress/parser/smt2perr048.smt2:1:36: invalid bit-vector size '0'