A question about ip_options's option type