Looks like the order of types in the generated output is
unpredictable, so we need the actual file Scope was built with for
debugging or profiling.