QuickNameBuf: A quick buffer manager