pub fn make_ext_result<O: ExecutiveObserver>(observer: O) -> ShareDebugMap