retval_range_within
if (!retval_range_within(range, reg)) {
if (!retval_range_within(callee->callback_ret_range, r0)) {