https://5dok.org/document/y960j59j-rfc-ip-header-compression.html