static AddrRange addrrange_make(uint64_t start, uint64_t size)

{

    return (AddrRange) { start, size };

}

static AddrRange addrrange_make(uint64_t start, uint64_t size)

{

    return (AddrRange) { start, size };

}

static AddrRange addrrange_make(uint64_t start, uint64_t size)
static AddrRange FUNC_0(uint64_t start, uint64_t size)

{

    return (AddrRange) { start, size };

}

static AddrRange FUNC_0(uint64_t start, uint64_t size)
{ return (AddrRange) { start, size }; }