let sym_mk_unsigned () = Bvarith.unsigned