RE: [ipv6-wg] how to generate ipv6 extension headers