What's the value of `ef->any.prev->any.next` after this function gets called?