Why rename this from DeStateStoreAlloc? Can you rename it back?