put deref-proc in place