RET never popping $1FF can be a real nuisance in certain circumstances, as it prevents use of hardware stack from one bytecode to the next. It would be good in future to use TOS = 1 as stack pop enable when TOS[8:0] = $1FF, thus push $8000_01FF if RET pop desired.
As $1FF is never popped now, the alternative is to do an XBYTE equivalent with separate instructions and I think the code below will do the job (no C/Z writes):
rfbyte pa 'pa = bytecode
getptr pb 'pb = FIFO pointer
... 'manipulate temp
rdlut temp,temp 'read EXECF data
Corrections are welcome.