let equal a b =
  match a,b with
    | C_int i, C_int i' -> i=i'
    | C_float f , C_float f' -> f=f'
    | C_pointer te , C_pointer te' -> Typ.equal te te'
    | C_comp c , C_comp c' -> Compinfo.equal c c'
    | C_array a , C_array a' -> AinfoComparable.equal a a'
    | _ -> false