let exported_macros = ref Mset.empty