Fix uses's names
Implement int_lt