retbleed_return_thunk
extern void retbleed_return_thunk(void);
set_return_thunk(retbleed_return_thunk);