function_return
function_return(pri, Stk);
void function_return(private_t *, struct callstack *);
GCC_ATTR(function_return)