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