static uint64_t addrrange_end(AddrRange r)

{

    return r.start + r.size;

}

static uint64_t addrrange_end(AddrRange r)

{

    return r.start + r.size;

}

static uint64_t addrrange_end(AddrRange r)
static uint64_t FUNC_0(AddrRange r)

{

    return r.start + r.size;

}

static uint64_t FUNC_0(AddrRange r)
{ return r.start + r.size; }