[taken from nrv-ext][lifted from lift]