+let parser_18 bits = bitmatch bits with
+ | { net_device_name : 128 : offset(0), string;
+ net_device_dev_addr : 256 : offset(2624), string } -> { net_device_name = net_device_name;
+ net_device_dev_addr = net_device_dev_addr }
+ | { _ } -> raise (ParseError ("net_device", "parser_18", "failed to match kernel structure"));;
+let parser_19 bits = bitmatch bits with
+ | { net_device_name : 128 : offset(0), string;
+ net_device_dev_addr : 256 : offset(1696), string } -> { net_device_name = net_device_name;
+ net_device_dev_addr = net_device_dev_addr }
+ | { _ } -> raise (ParseError ("net_device", "parser_19", "failed to match kernel structure"));;