let
qual_eq t1 t2 =
(t1.ct_const_p = t2.ct_const_p
&&
t1.ct_volatile_p = t2.ct_volatile_p)