Symbol: test_bit_le