Symbol: ret_p