let convert_global_storage_class = function
    Extern -> [StorageClass C_abstree.Extern]
  | ModuleStatic -> [StorageClass C_abstree.Static]
  | Inline -> [StorageClass C_abstree.Inline]