mimilib (WinDBG ext) structures for KB2871997