Symbol: TEST_int_lt