let ptr_bool_cmp_binop op p1 p2 = (* TODO : have specific operations ? *) let e = sub_pointer p1 p2 in let zero = int_zero in int_bool_cmp_binop_name op e zero