Get rid of deref() completely