module MacroDefinitionAndEnvironment where