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