addr.sin6_len=28 family=28 prefixlen=128 flags=00000000
dstaddr.sin6_len=200 family=28 addr=2001:db8::2
---- dstaddr bytes [0..127] ----
  0: c8 1c 00 00 00 00 00 00 20 01 0d b8 00 00 00 00 
 16: 00 00 00 00 00 00 00 02 00 00 00 00 1c 1c 00 00 
 32: 00 00 00 00 ff ff ff ff ff ff ff ff ff ff ff ff 
 48: ff ff ff ff 00 00 00 00 00 00 00 00 00 00 00 00 
 64: c0 97 30 4f 00 f8 ff ff 00 00 00 00 00 00 00 00 
 80: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 
 96: ff ff ff ff ff ff ff ff 00 00 00 00 00 00 00 00 
112: 00 00 00 00 00 00 00 00 b0 98 30 4f 00 f8 ff ff 
---- candidate kernel pointers at bytes>=28 ----
  off  32: 0xffffffff00000000
  off  64: 0xfffff8004f3097c0
  off  92: 0xffffffff00000000
  off 120: 0xfffff8004f3098b0