Working draft of KernelHistoryManager