getDefaultExtensions _                 = Set.fromList [Ext_auto_identifiers]
getDefaultExtensions _                 = Set.fromList [Ext_auto_identifiers]
getDefaultExtensions _                 = Set.fromList [Ext_auto_identifiers]