ENTER(): avoid re-reading the info pointer of the closure when entering it