Split out REAL_CODE() from REAL_EXEC(), preparatory to removing REAL_EXEC