let get_type_qualifiers ty = (if ty.ct_volatile_p then [Volatile] else []) @ (if ty.ct_const_p then [Const] else [])