karc4random64
return karc4random64();
uint64_t karc4random64(void);
addr += (karc4random64() & 0x7FFFFFFFFFFFFFFFLU) % dsiz;