refimpl3