It is called in BuiltinBitVectorOperations, and there it generates a lot of unchecked warnings. But I don't know how to avoid that. Do you have any suggestions?