Symbol: TEST_uint_le