Function bit_not