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