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;
}