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