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