Change uint2vec to uint2bv
Change int2vec to int2bv