No matches were found for subject:"\[BUGS\] BUG #5237\: strange int\-bit and bit\-int conversions"