let get_type_qualifiers_speclist ty = 
  (if ty.ct_volatile_p then [TypeQualifier Volatileelse [])
    @ (if ty.ct_const_p then [TypeQualifier Constelse [])