EXT_BV convertBitvectorToExtended( int bv ) { EXT_BV newBV; xCLEAR_BITS(newBV); for ( int i = 0; i < 32; i++ ) if ( IS_SET( bv, 1 << i ) ) xSET_BIT( newBV, i ); return newBV; }