wide refs, deref case verified