let lt_int_bool = "lt_int_bool"