Proposed F18 feature: MiniDebugInfo