/test/files/run/macro-typecheck-macrosdisabled/