Re: A question about ip_options's option type