filled out the StoreRef.deref() function