Integrated image/kdata into kimage structure. Removed dead-code.
authorRichard W.M. Jones <rjones@redhat.com>
Sun, 17 Aug 2008 11:32:49 +0000 (12:32 +0100)
committerRichard W.M. Jones <rjones@redhat.com>
Sun, 17 Aug 2008 11:32:49 +0000 (12:32 +0100)
28 files changed:
Makefile.in
dmesg/virt_dmesg.ml
extract/codegen/code_generation.ml
lib/.depend
lib/Makefile.in
lib/kernel.ml
lib/kernel.mli
lib/virt_mem.ml
lib/virt_mem.mli
lib/virt_mem_capture.ml
lib/virt_mem_dump.ml
lib/virt_mem_kallsyms.ml
lib/virt_mem_kallsyms.mli
lib/virt_mem_kernels.ml
lib/virt_mem_ksyms.ml
lib/virt_mem_ksyms.mli
lib/virt_mem_list_head.ml [deleted file]
lib/virt_mem_list_head.mli [deleted file]
lib/virt_mem_net_devices.ml [deleted file]
lib/virt_mem_net_devices.mli [deleted file]
lib/virt_mem_tasks.ml [deleted file]
lib/virt_mem_tasks.mli [deleted file]
lib/virt_mem_types.ml
lib/virt_mem_types.mli
lib/virt_mem_utsname.ml
lib/virt_mem_utsname.mli
ps/virt_ps.ml
uname/virt_uname.ml

index 1b6721f..3766099 100644 (file)
@@ -25,11 +25,10 @@ datarootdir = @datarootdir@
 mandir         = @mandir@
 
 OCAMLDOCFLAGS  = -html -sort \
-                 -package bitstring.syntax,extlib,libvirt,gettext,xml-light \
-                 -I lib \
-                 -syntax bitstring.syntax
+                 -package bitstring,extlib,libvirt,gettext,xml-light \
+                 -I lib
 OCAMLDOC       = @OCAMLDOC@
-OCAMLDOCFILES  = $(wildcard lib/*.ml) $(wildcard lib/*.mli)
+OCAMLDOCFILES  = $(wildcard lib/virt_*.mli) lib/kernel.mli
 
 HAVE_PERLDOC    = @HAVE_PERLDOC@
 
index 153d5e4..8800fd2 100644 (file)
@@ -24,8 +24,7 @@ open Virt_mem_utils
 open Virt_mem_types
 open Virt_mem_mmap
 
-let run debug { domname = domname; mem = mem } { ksyms = ksyms } =
-  let ksyms = Option.get ksyms in
+let run debug { domname = domname; mem = mem; ksyms = ksyms } =
   try
     (* I don't know why but this symbol doesn't exist in 2.6.9
      * even in kallsyms.  Hence this won't work with that kernel.
index 41254d8..41520dc 100644 (file)
@@ -448,7 +448,7 @@ let generate_parsers xs =
   | { %s } ->
       { %s }
   | { _ } ->
-      raise (Virt_mem_types.ParseError (%S, %S, match_err))"
+      raise (ParseError (%S, %S, match_err))"
              patterns assignments
              struct_name pa_name in
 
@@ -603,13 +603,8 @@ let generate_followers names xs =
     fun (struct_name, _) ->
       <:sig_item<
         val $lid:struct_name^"_follower"$ :
-         kernel_version ->
-         (string -> Virt_mem_mmap.addr -> int -> Bitstring.bitstring) ->
-         (string * (int * Bitstring.bitstring * kernel_struct) option)
-            AddrMap.t ->
-         Virt_mem_mmap.addr ->
-         (string * (int * Bitstring.bitstring * kernel_struct) option)
-            AddrMap.t
+         kernel_version -> load_fn -> addrmap -> Virt_mem_mmap.addr ->
+         addrmap
       >>
   ) xs in
   let sigs = concat_sig_items sigs in
@@ -617,7 +612,9 @@ let generate_followers names xs =
   strs, sigs
 
 let output_interf ~output_file types offsets parsers version_maps followers =
-  (* Some standard code that appears at the top of the interface file. *)
+  (* Some standard code that appears at the top and bottom
+   * of the interface file.
+   *)
   let prologue =
     <:sig_item<
       module AddrMap : sig
@@ -636,12 +633,28 @@ let output_interf ~output_file types offsets parsers version_maps followers =
        val compare : ('a -> 'a -> int) -> 'a t -> 'a t -> int
        val equal : ('a -> 'a -> bool) -> 'a t -> 'a t -> bool
       end ;;
-      type kernel_version = string ;;
+      exception ParseError of string * string * string ;;
+
+      type kernel_version = string
+
+      type load_fn =
+         string -> Virt_mem_mmap.addr -> int -> Bitstring.bitstring
+    >>
+  and addrmap =
+    <:sig_item<
+      type addrmap =
+         (string * (int * Bitstring.bitstring * kernel_struct) option)
+           AddrMap.t
     >> in
 
   let sigs =
-    concat_sig_items [ prologue; types; offsets; parsers;
-                      version_maps; followers ] in
+    concat_sig_items [ prologue;
+                      types;
+                      addrmap;
+                      offsets;
+                      parsers;
+                      version_maps;
+                      followers ] in
   Printers.OCaml.print_interf ~output_file sigs;
 
   ignore (Sys.command (sprintf "wc -l %s" (Filename.quote output_file)))
@@ -651,15 +664,17 @@ let re_subst = Pcre.regexp "^(.*)\"(\\w+_parser_\\d+)\"(.*)$"
 
 let output_implem ~output_file types offsets parsers parser_subs
     version_maps followers =
-  (* Some standard code that appears at the top of the implementation file. *)
+  (* Some standard code that appears at the top and bottom
+   * of the implementation file.
+   *)
   let prologue =
     <:str_item<
       open Printf ;;
       module StringMap = Map.Make (String) ;;
       module AddrMap = Map.Make (Int64) ;;
-      type kernel_version = string ;;
+      exception ParseError of string * string * string ;;
 
-      let match_err = "failed to match kernel structure" ;;
+      let match_err = "failed to match kernel structure"
 
       let unknown_kernel_version version struct_name =
        invalid_arg (sprintf "%s: unknown kernel version or
@@ -667,14 +682,28 @@ struct %s is not supported in this kernel.
 Try a newer version of virt-mem, or if the guest is not from a
 supported Linux distribution, see this page about adding support:
   http://et.redhat.com/~rjones/virt-mem/faq.html\n"
-                      version struct_name) ;;
+                      version struct_name)
+
+      type kernel_version = string
+      type load_fn = string -> Virt_mem_mmap.addr -> int -> Bitstring.bitstring
 
-      let zero = 0 ;;
+      let zero = 0
+    >>
+  and addrmap =
+    <:str_item<
+      type addrmap =
+         (string * (int * Bitstring.bitstring * kernel_struct) option)
+           AddrMap.t
     >> in
 
   let strs =
-    concat_str_items [ prologue; types; offsets; parsers;
-                      version_maps; followers ] in
+    concat_str_items [ prologue;
+                      types;
+                      addrmap;
+                      offsets;
+                      parsers;
+                      version_maps;
+                      followers ] in
 
   (* Write the new implementation to .ml.new file. *)
   let new_output_file = output_file ^ ".new" in
index 3cec6b3..35203cd 100644 (file)
@@ -1,13 +1,12 @@
 kernel.cmi: virt_mem_mmap.cmi 
 virt_mem_kallsyms.cmi: virt_mem_types.cmi 
 virt_mem_ksyms.cmi: virt_mem_types.cmi 
-virt_mem_list_head.cmi: virt_mem_types.cmi virt_mem_mmap.cmi 
 virt_mem.cmi: virt_mem_types.cmi 
 virt_mem_mmap.cmi: virt_mem_utils.cmo 
-virt_mem_types.cmi: virt_mem_utils.cmo virt_mem_mmap.cmi 
+virt_mem_types.cmi: virt_mem_utils.cmo virt_mem_mmap.cmi kernel.cmi 
 virt_mem_utsname.cmi: virt_mem_types.cmi 
-kernel.cmo: virt_mem_types.cmi virt_mem_mmap.cmi kernel.cmi 
-kernel.cmx: virt_mem_types.cmx virt_mem_mmap.cmx kernel.cmi 
+kernel.cmo: virt_mem_mmap.cmi kernel.cmi 
+kernel.cmx: virt_mem_mmap.cmx kernel.cmi 
 test_mmap.cmo: virt_mem_mmap.cmi 
 test_mmap.cmx: virt_mem_mmap.cmx 
 virt_mem_capture.cmo: virt_mem_types.cmi virt_mem_gettext.cmo virt_mem.cmi 
@@ -26,10 +25,6 @@ virt_mem_ksyms.cmo: virt_mem_utils.cmo virt_mem_types.cmi virt_mem_mmap.cmi \
     virt_mem_gettext.cmo virt_mem_ksyms.cmi 
 virt_mem_ksyms.cmx: virt_mem_utils.cmx virt_mem_types.cmx virt_mem_mmap.cmx \
     virt_mem_gettext.cmx virt_mem_ksyms.cmi 
-virt_mem_list_head.cmo: virt_mem_utils.cmo virt_mem_types.cmi \
-    virt_mem_mmap.cmi virt_mem_list_head.cmi 
-virt_mem_list_head.cmx: virt_mem_utils.cmx virt_mem_types.cmx \
-    virt_mem_mmap.cmx virt_mem_list_head.cmi 
 virt_mem.cmo: virt_mem_version.cmo virt_mem_utsname.cmi virt_mem_utils.cmo \
     virt_mem_types.cmi virt_mem_mmap.cmi virt_mem_ksyms.cmi \
     virt_mem_kernels.cmo virt_mem_kallsyms.cmi virt_mem_gettext.cmo \
@@ -40,16 +35,10 @@ virt_mem.cmx: virt_mem_version.cmx virt_mem_utsname.cmx virt_mem_utils.cmx \
     kernel.cmx virt_mem.cmi 
 virt_mem_mmap.cmo: virt_mem_utils.cmo virt_mem_mmap.cmi 
 virt_mem_mmap.cmx: virt_mem_utils.cmx virt_mem_mmap.cmi 
-virt_mem_net_devices.cmo: virt_mem_utils.cmo virt_mem_types.cmi \
-    virt_mem_gettext.cmo virt_mem_net_devices.cmi 
-virt_mem_net_devices.cmx: virt_mem_utils.cmx virt_mem_types.cmx \
-    virt_mem_gettext.cmx virt_mem_net_devices.cmi 
-virt_mem_tasks.cmo: virt_mem_utils.cmo virt_mem_types.cmi \
-    virt_mem_gettext.cmo virt_mem_tasks.cmi 
-virt_mem_tasks.cmx: virt_mem_utils.cmx virt_mem_types.cmx \
-    virt_mem_gettext.cmx virt_mem_tasks.cmi 
-virt_mem_types.cmo: virt_mem_utils.cmo virt_mem_mmap.cmi virt_mem_types.cmi 
-virt_mem_types.cmx: virt_mem_utils.cmx virt_mem_mmap.cmx virt_mem_types.cmi 
+virt_mem_types.cmo: virt_mem_utils.cmo virt_mem_mmap.cmi kernel.cmi \
+    virt_mem_types.cmi 
+virt_mem_types.cmx: virt_mem_utils.cmx virt_mem_mmap.cmx kernel.cmx \
+    virt_mem_types.cmi 
 virt_mem_utsname.cmo: virt_mem_utils.cmo virt_mem_types.cmi virt_mem_mmap.cmi \
     virt_mem_gettext.cmo virt_mem_utsname.cmi 
 virt_mem_utsname.cmx: virt_mem_utils.cmx virt_mem_types.cmx virt_mem_mmap.cmx \
index e386af0..bf1e36a 100644 (file)
@@ -53,9 +53,8 @@ OBJS          = virt_mem_gettext.cmo \
                  virt_mem_utils.cmo \
                  virt_mem_mmap_c.o \
                  virt_mem_mmap.cmo \
-                 virt_mem_types.cmo \
-                 virt_mem_list_head.cmo \
                  kernel.cmo \
+                 virt_mem_types.cmo \
                  virt_mem_ksyms.cmo \
                  virt_mem_kallsyms.cmo \
                  virt_mem_utsname.cmo \
@@ -63,9 +62,6 @@ OBJS          = virt_mem_gettext.cmo \
                  virt_mem_capture.cmo \
                  virt_mem_dump.cmo
 
-#                virt_mem_tasks.cmo
-#                virt_mem_net_devices.cmo
-
 XOBJS          = $(OBJS:%.cmo=%.cmx)
 
 all:   $(TARGETS)
index fc0f06f..efdd413 100644 (file)
@@ -10,7 +10,7 @@
 open Printf;;
 module StringMap = Map.Make(String);;
 module AddrMap = Map.Make(Int64);;
-type kernel_version = string;;
+exception ParseError of string * string * string;;
 let match_err = "failed to match kernel structure";;
 let unknown_kernel_version version struct_name =
   invalid_arg
@@ -22,6 +22,8 @@ supported Linux distribution, see this page about adding support:
   http://et.redhat.com/~rjones/virt-mem/faq.html
 "
        version struct_name);;
+type kernel_version = string;;
+type load_fn = string -> Virt_mem_mmap.addr -> int -> Bitstring.bitstring;;
 let zero = 0;;
 type task_struct =
   { task_struct_comm : string; task_struct_normal_prio : int64;
@@ -74,986 +76,26 @@ type kernel_struct =
   | Inet6_dev of inet6_dev
   | In_ifaddr of in_ifaddr
   | Inet6_ifaddr of inet6_ifaddr;;
+type addrmap =
+  (string * ((int * Bitstring.bitstring * kernel_struct) option)) AddrMap.t;;
 let offset_of_net_device_dev_list'next =
   let map =
-    StringMap.add "2.6.27-0.254.rc3.fc10.i586" 48
-      (StringMap.add "2.6.21-1.3221.fc8.i586" 48
-         (StringMap.add "2.6.25.14-69.fc8.i686" 48
-            (StringMap.add "2.6.27-0.237.rc2.fc10.i686" 48
-               (StringMap.add "2.6.26.1-9.fc9.x86_64" 72
-                  (StringMap.add "2.6.27-0.231.rc1.git6.fc10.i686" 48
-                     (StringMap.add "2.6.27-0.254.rc3.fc10.i686" 48
-                        (StringMap.add "2.6.21-1.3209.fc8.ppc64" 72
-                           (StringMap.add "2.6.23.14-135.fc8.i586" 48
-                              (StringMap.add "2.6.27-0.254.rc3.fc10.ppc64" 72
-                                 (StringMap.add
-                                    "2.6.22-0.23.rc7.git6.fc8.i686" 48
-                                    (StringMap.add "2.6.26.2-14.fc9.i586" 48
-                                       (StringMap.add
-                                          "2.6.21-1.3209.fc8.ppc64" 72
-                                          (StringMap.add
-                                             "2.6.27-0.241.rc2.git1.fc10.ppc64"
-                                             72
-                                             (StringMap.add
-                                                "2.6.25.14-68.fc8.i686" 48
-                                                (StringMap.add
-                                                   "2.6.24-7.fc9.ppc" 48
-                                                   (StringMap.add
-                                                      "2.6.21-1.3242.fc8.i686"
-                                                      48
-                                                      (StringMap.add
-                                                         "2.6.22-0.rc7.2.fc8.ppc"
-                                                         48
-                                                         (StringMap.add
-                                                            "2.6.23.14-78.fc7.i586"
-                                                            48
-                                                            (StringMap.add
-                                                               "2.6.24-9.fc9.ppc"
-                                                               48
-                                                               (StringMap.add
-                                                                  "2.6.23.14-135.fc8.ppc64"
-                                                                  72
-                                                                  (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3234.fc8.i686"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.226.rc1.git5.fc10.i686"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.24-9.fc9.i586"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3218.fc8.i686"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.26.2-14.fc9.x86_64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3236.fc8.ppc"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3236.fc8.i686"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.23.14-78.fc7.i686"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.25.14-108.fc9.i686"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.26.1-9.fc9.x86_64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.25.14-68.fc8.i686"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.244.rc2.git1.fc10.ppc"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3238.fc8.i686"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.238.rc2.fc10.x86_64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.25.14-108.fc9.ppc"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.25.14-69.fc8.x86_64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.26.2-2.fc8.ppc64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.22-0.rc7.2.fc8.ppc"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3234.fc8.ppc64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.23.14-135.fc8.ppc"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.26.2-14.fc9.i686"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.26.2-14.fc9.ppc64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3234.fc8.ppc"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.244.rc2.git1.fc10.i686"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3234.fc8.x86_64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3238.fc8.ppc"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3209.fc8.x86_64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.26.2-14.fc9.i686"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.226.rc1.git5.fc10.ppc64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.26.2-2.fc8.ppc"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.225.rc1.git5.fc10.ppc"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.24-0.167.rc8.git4.fc9.ppc"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.241.rc2.git1.fc10.i686"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.26.2-2.fc8.x86_64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.23.14-78.fc7.x86_64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.225.rc1.git5.fc10.ppc"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.226.rc1.git5.fc10.i586"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.25.11-97.fc9.i686"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.24-9.fc9.i686"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.237.rc2.fc10.ppc64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.25.14-108.fc9.i686"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.23.14-78.fc7.x86_64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.24-7.fc9.i686"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.22-0.rc7.2.fc8.i686"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.26.2-14.fc9.i686"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.254.rc3.fc10.ppc"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.25.14-69.fc8.ppc64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.241.rc2.git1.fc10.ppc"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.244.rc2.git1.fc10.i686"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.241.rc2.git1.fc10.i686"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3238.fc8.ppc"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.23.14-135.fc8.x86_64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3221.fc8.i686"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.24-7.fc9.i686"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.231.rc1.git6.fc10.ppc"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.26.2-2.fc8.x86_64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.22-0.rc7.2.fc8.i686"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.238.rc2.fc10.i686"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.24-0.167.rc8.git4.fc9.i686"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3238.fc8.x86_64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.26.1-9.fc9.i686"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3234.fc8.ppc"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.231.rc1.git6.fc10.i686"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.23.14-78.fc7.ppc"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.238.rc2.fc10.ppc64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3218.fc8.x86_64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.244.rc2.git1.fc10.ppc64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3209.fc8.i586"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.231.rc1.git6.fc10.i586"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.25.14-108.fc9.ppc"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3218.fc8.i686"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.237.rc2.fc10.i686"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.226.rc1.git5.fc10.i686"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3242.fc8.ppc64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3221.fc8.i686"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.231.rc1.git6.fc10.ppc64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.237.rc2.fc10.ppc"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.24-7.fc9.i586"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.23.14-78.fc7.ppc"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3238.fc8.i686"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.26.2-2.fc8.i586"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.225.rc1.git5.fc10.ppc64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.26.1-9.fc9.ppc"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.23.14-78.fc7.ppc64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.226.rc1.git5.fc10.ppc64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.254.rc3.fc10.ppc"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.26.1-9.fc9.i686"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3242.fc8.i686"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.241.rc2.git1.fc10.i586"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3242.fc8.ppc"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.23.14-135.fc8.i686"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3209.fc8.ppc"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.24-7.fc9.ppc"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.22-0.23.rc7.git6.fc8.ppc"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.225.rc1.git5.fc10.i686"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3218.fc8.ppc64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.26.1-9.fc9.i686"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3221.fc8.ppc64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.26.2-14.fc9.x86_64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.238.rc2.fc10.ppc"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.24-9.fc9.ppc64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3242.fc8.x86_64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.23.14-135.fc8.i686"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.26.1-9.fc9.ppc64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.244.rc2.git1.fc10.i586"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.25.14-69.fc8.i586"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.26.1-9.fc9.ppc"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.24-0.167.rc8.git4.fc9.i686"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.26.1-9.fc9.i686"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.241.rc2.git1.fc10.ppc"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3218.fc8.ppc"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.24-9.fc9.ppc64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3234.fc8.i686"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.225.rc1.git5.fc10.x86_64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.238.rc2.fc10.i586"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.24-0.167.rc8.git4.fc9.ppc64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3221.fc8.ppc"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.237.rc2.fc10.ppc"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.231.rc1.git6.fc10.x86_64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.238.rc2.fc10.ppc64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.22-0.rc7.2.fc8.ppc64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.26.2-14.fc9.ppc64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.225.rc1.git5.fc10.i586"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3221.fc8.ppc"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.237.rc2.fc10.ppc64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3221.fc8.ppc64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3209.fc8.i686"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.23.14-135.fc8.i686"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.22-0.rc7.2.fc8.x86_64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.24-9.fc9.ppc"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.25.14-108.fc9.x86_64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.24-7.fc9.ppc64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3209.fc8.i686"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.25.14-69.fc8.i686"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.26.2-14.fc9.i686"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3238.fc8.ppc64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.23.14-135.fc8.i686"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3236.fc8.ppc64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3209.fc8.ppc"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.254.rc3.fc10.x86_64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3236.fc8.ppc64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.22-0.23.rc7.git6.fc8.i686"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.24-7.fc9.ppc64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.238.rc2.fc10.i686"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.24-9.fc9.i686"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3242.fc8.ppc"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.25.14-108.fc9.i686"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.25.11-97.fc9.x86_64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.24-0.167.rc8.git4.fc9.x86_64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3234.fc8.ppc64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.23.14-135.fc8.x86_64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.226.rc1.git5.fc10.ppc"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.22-0.rc7.2.fc8.ppc64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.25.14-68.fc8.i686"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.231.rc1.git6.fc10.ppc64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.244.rc2.git1.fc10.ppc"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3238.fc8.ppc64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.26.2-14.fc9.ppc"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.24-7.fc9.x86_64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.26.1-9.fc9.i586"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.25.14-69.fc8.ppc"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.26.2-14.fc9.ppc"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.22-0.23.rc7.git6.fc8.ppc64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.254.rc3.fc10.ppc64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.241.rc2.git1.fc10.ppc64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3221.fc8.x86_64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.244.rc2.git1.fc10.x86_64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.24-9.fc9.x86_64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.225.rc1.git5.fc10.ppc64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.254.rc3.fc10.i686"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.26.2-2.fc8.ppc"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.238.rc2.fc10.ppc"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.225.rc1.git5.fc10.i686"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.231.rc1.git6.fc10.ppc"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.244.rc2.git1.fc10.ppc64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.25.14-108.fc9.x86_64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.25.14-69.fc8.ppc"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.23.14-135.fc8.ppc64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.241.rc2.git1.fc10.x86_64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3236.fc8.i686"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.26.2-2.fc8.ppc64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.22-0.23.rc7.git6.fc8.ppc64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.25.14-69.fc8.i686"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3218.fc8.ppc"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.26.2-2.fc8.i686"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.26.2-2.fc8.i686"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.23.14-78.fc7.i686"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.237.rc2.fc10.x86_64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.23.14-78.fc7.ppc64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.25.14-69.fc8.ppc64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.25.14-108.fc9.i686"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3242.fc8.ppc64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.22-0.23.rc7.git6.fc8.x86_64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3218.fc8.i586"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.25.14-108.fc9.i586"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.226.rc1.git5.fc10.x86_64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.23.14-135.fc8.ppc"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.237.rc2.fc10.i586"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.23.14-78.fc7.i686"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.26.2-2.fc8.i686"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.24-0.167.rc8.git4.fc9.ppc"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.25.14-69.fc8.i686"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.26.2-2.fc8.i686"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.25.14-108.fc9.ppc64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3218.fc8.ppc64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3236.fc8.x86_64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.24-0.167.rc8.git4.fc9.i586"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3236.fc8.ppc"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.26.1-9.fc9.ppc64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.226.rc1.git5.fc10.ppc"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.25.14-69.fc8.x86_64"
-                                                                    72
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.22-0.23.rc7.git6.fc8.ppc"
-                                                                    48
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.24-0.167.rc8.git4.fc9.ppc64"
-                                                                    72
-                                                                    StringMap.
-                                                                    empty)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
+    StringMap.add "2.6.25.14-69.fc8.i686" 48
+      (StringMap.add "2.6.25.14-108.fc9.ppc" 48
+         (StringMap.add "2.6.25.11-97.fc9.i686" 48
+            (StringMap.add "2.6.25.14-69.fc8.ppc64" 72
+               (StringMap.add "2.6.25.14-69.fc8.i586" 48
+                  (StringMap.add "2.6.25.11-97.fc9.x86_64" 72
+                     (StringMap.add "2.6.25.14-108.fc9.x86_64" 72
+                        (StringMap.add "2.6.25.14-69.fc8.ppc" 48
+                           (StringMap.add "2.6.25.14-108.fc9.i686" 48
+                              (StringMap.add "2.6.25.14-108.fc9.i586" 48
+                                 (StringMap.add "2.6.25.14-108.fc9.ppc64" 72
+                                    (StringMap.add "2.6.25.14-69.fc8.x86_64"
+                                       72 StringMap.empty)))))))))))
   in fun kernel_version -> StringMap.find kernel_version map;;
 let task_struct_parser_1 kernel_version bits = 
   bitmatch bits with
-  | { state : zero+32 : offset(0), littleendian;
-      prio : zero+32 : offset(192), littleendian;
-      static_prio : zero+32 : offset(224), littleendian;
-      normal_prio : zero+32 : offset(256), littleendian;
-      run_list'next : zero+32 : offset(288), littleendian;
-      run_list'prev : zero+32 : offset(320), littleendian;
-      tasks'next : zero+32 : offset(992), littleendian;
-      tasks'prev : zero+32 : offset(1024), littleendian;
-      pid : zero+32 : offset(1344), littleendian;
-      comm : 128 : offset(3232), string } ->
-      { task_struct_comm = comm;
-        task_struct_normal_prio = normal_prio;
-        task_struct_pid = pid;
-        task_struct_prio = prio;
-        task_struct_run_list'next = Some run_list'next;
-          task_struct_run_list'next_offset = 36;
-          task_struct_run_list'next_adjustment = 36;
-        task_struct_run_list'prev = Some run_list'prev;
-        task_struct_state = state;
-        task_struct_static_prio = static_prio;
-        task_struct_tasks'next = tasks'next;
-          task_struct_tasks'next_offset = 124;
-          task_struct_tasks'next_adjustment = 124;
-        task_struct_tasks'prev = tasks'prev }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_1", match_err));;
-let task_struct_parser_2 kernel_version bits = 
-  bitmatch bits with
-  | { state : zero+64 : offset(0), bigendian;
-      prio : zero+32 : offset(224), bigendian;
-      static_prio : zero+32 : offset(256), bigendian;
-      normal_prio : zero+32 : offset(288), bigendian;
-      run_list'next : zero+64 : offset(320), bigendian;
-      run_list'prev : zero+64 : offset(384), bigendian;
-      tasks'next : zero+64 : offset(3648), bigendian;
-      tasks'prev : zero+64 : offset(3712), bigendian;
-      pid : zero+32 : offset(4160), bigendian;
-      comm : 128 : offset(7752), string } ->
-      { task_struct_comm = comm;
-        task_struct_normal_prio = normal_prio;
-        task_struct_pid = pid;
-        task_struct_prio = prio;
-        task_struct_run_list'next = Some run_list'next;
-          task_struct_run_list'next_offset = 40;
-          task_struct_run_list'next_adjustment = 40;
-        task_struct_run_list'prev = Some run_list'prev;
-        task_struct_state = state;
-        task_struct_static_prio = static_prio;
-        task_struct_tasks'next = tasks'next;
-          task_struct_tasks'next_offset = 456;
-          task_struct_tasks'next_adjustment = 456;
-        task_struct_tasks'prev = tasks'prev }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_2", match_err));;
-let task_struct_parser_3 kernel_version bits = 
-  bitmatch bits with
-  | { state : zero+32 : offset(0), bigendian;
-      prio : zero+32 : offset(160), bigendian;
-      static_prio : zero+32 : offset(192), bigendian;
-      normal_prio : zero+32 : offset(224), bigendian;
-      run_list'next : zero+32 : offset(256), bigendian;
-      run_list'prev : zero+32 : offset(288), bigendian;
-      tasks'next : zero+32 : offset(2176), bigendian;
-      tasks'prev : zero+32 : offset(2208), bigendian;
-      pid : zero+32 : offset(2528), bigendian;
-      comm : 128 : offset(4416), string } ->
-      { task_struct_comm = comm;
-        task_struct_normal_prio = normal_prio;
-        task_struct_pid = pid;
-        task_struct_prio = prio;
-        task_struct_run_list'next = Some run_list'next;
-          task_struct_run_list'next_offset = 32;
-          task_struct_run_list'next_adjustment = 32;
-        task_struct_run_list'prev = Some run_list'prev;
-        task_struct_state = state;
-        task_struct_static_prio = static_prio;
-        task_struct_tasks'next = tasks'next;
-          task_struct_tasks'next_offset = 272;
-          task_struct_tasks'next_adjustment = 272;
-        task_struct_tasks'prev = tasks'prev }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_3", match_err));;
-let task_struct_parser_4 kernel_version bits = 
-  bitmatch bits with
   | { state : zero+64 : offset(0), littleendian;
       prio : zero+32 : offset(224), littleendian;
       static_prio : zero+32 : offset(256), littleendian;
@@ -1077,45 +119,43 @@ let task_struct_parser_4 kernel_version bits =
           task_struct_tasks'next_adjustment = 480;
         task_struct_tasks'prev = tasks'prev }
   | { _ } ->
-      raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_4", match_err));;
-let task_struct_parser_5 kernel_version bits = 
+      raise (ParseError ("task_struct", "task_struct_parser_1", match_err));;
+let task_struct_parser_2 kernel_version bits = 
   bitmatch bits with
-  | { state : zero+64 : offset(0), littleendian;
-      prio : zero+32 : offset(320), littleendian;
-      static_prio : zero+32 : offset(352), littleendian;
-      normal_prio : zero+32 : offset(384), littleendian;
-      run_list'next : zero+64 : offset(448), littleendian;
-      run_list'prev : zero+64 : offset(512), littleendian;
-      tasks'next : zero+64 : offset(1536), littleendian;
-      tasks'prev : zero+64 : offset(1600), littleendian;
-      pid : zero+32 : offset(2144), littleendian;
-      comm : 128 : offset(5440), string } ->
+  | { state : zero+64 : offset(0), bigendian;
+      prio : zero+32 : offset(224), bigendian;
+      static_prio : zero+32 : offset(256), bigendian;
+      normal_prio : zero+32 : offset(288), bigendian;
+      tasks'next : zero+64 : offset(3840), bigendian;
+      tasks'prev : zero+64 : offset(3904), bigendian;
+      pid : zero+32 : offset(4352), bigendian;
+      comm : 128 : offset(8392), string } ->
       { task_struct_comm = comm;
         task_struct_normal_prio = normal_prio;
         task_struct_pid = pid;
         task_struct_prio = prio;
-        task_struct_run_list'next = Some run_list'next;
-          task_struct_run_list'next_offset = 56;
-          task_struct_run_list'next_adjustment = 56;
-        task_struct_run_list'prev = Some run_list'prev;
+        task_struct_run_list'next = None;
+          task_struct_run_list'next_offset = -1;
+          task_struct_run_list'next_adjustment = -1;
+        task_struct_run_list'prev = None;
         task_struct_state = state;
         task_struct_static_prio = static_prio;
         task_struct_tasks'next = tasks'next;
-          task_struct_tasks'next_offset = 192;
-          task_struct_tasks'next_adjustment = 192;
+          task_struct_tasks'next_offset = 480;
+          task_struct_tasks'next_adjustment = 480;
         task_struct_tasks'prev = tasks'prev }
   | { _ } ->
-      raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_5", match_err));;
-let task_struct_parser_6 kernel_version bits = 
+      raise (ParseError ("task_struct", "task_struct_parser_2", match_err));;
+let task_struct_parser_3 kernel_version bits = 
   bitmatch bits with
-  | { state : zero+32 : offset(0), bigendian;
-      prio : zero+32 : offset(192), bigendian;
-      static_prio : zero+32 : offset(224), bigendian;
-      normal_prio : zero+32 : offset(256), bigendian;
-      tasks'next : zero+32 : offset(3712), bigendian;
-      tasks'prev : zero+32 : offset(3744), bigendian;
-      pid : zero+32 : offset(4064), bigendian;
-      comm : 128 : offset(6464), string } ->
+  | { state : zero+32 : offset(0), littleendian;
+      prio : zero+32 : offset(160), littleendian;
+      static_prio : zero+32 : offset(192), littleendian;
+      normal_prio : zero+32 : offset(224), littleendian;
+      tasks'next : zero+32 : offset(3200), littleendian;
+      tasks'prev : zero+32 : offset(3232), littleendian;
+      pid : zero+32 : offset(3552), littleendian;
+      comm : 128 : offset(5896), string } ->
       { task_struct_comm = comm;
         task_struct_normal_prio = normal_prio;
         task_struct_pid = pid;
@@ -1127,49 +167,47 @@ let task_struct_parser_6 kernel_version bits =
         task_struct_state = state;
         task_struct_static_prio = static_prio;
         task_struct_tasks'next = tasks'next;
-          task_struct_tasks'next_offset = 464;
-          task_struct_tasks'next_adjustment = 464;
+          task_struct_tasks'next_offset = 400;
+          task_struct_tasks'next_adjustment = 400;
         task_struct_tasks'prev = tasks'prev }
   | { _ } ->
-      raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_6", match_err));;
-let task_struct_parser_7 kernel_version bits = 
+      raise (ParseError ("task_struct", "task_struct_parser_3", match_err));;
+let task_struct_parser_4 kernel_version bits = 
   bitmatch bits with
-  | { state : zero+64 : offset(0), bigendian;
-      prio : zero+32 : offset(320), bigendian;
-      static_prio : zero+32 : offset(352), bigendian;
-      normal_prio : zero+32 : offset(384), bigendian;
-      run_list'next : zero+64 : offset(448), bigendian;
-      run_list'prev : zero+64 : offset(512), bigendian;
-      tasks'next : zero+64 : offset(1600), bigendian;
-      tasks'prev : zero+64 : offset(1664), bigendian;
-      pid : zero+32 : offset(2208), bigendian;
-      comm : 128 : offset(5440), string } ->
+  | { state : zero+32 : offset(0), littleendian;
+      prio : zero+32 : offset(160), littleendian;
+      static_prio : zero+32 : offset(192), littleendian;
+      normal_prio : zero+32 : offset(224), littleendian;
+      tasks'next : zero+32 : offset(3232), littleendian;
+      tasks'prev : zero+32 : offset(3264), littleendian;
+      pid : zero+32 : offset(3584), littleendian;
+      comm : 128 : offset(5928), string } ->
       { task_struct_comm = comm;
         task_struct_normal_prio = normal_prio;
         task_struct_pid = pid;
         task_struct_prio = prio;
-        task_struct_run_list'next = Some run_list'next;
-          task_struct_run_list'next_offset = 56;
-          task_struct_run_list'next_adjustment = 56;
-        task_struct_run_list'prev = Some run_list'prev;
+        task_struct_run_list'next = None;
+          task_struct_run_list'next_offset = -1;
+          task_struct_run_list'next_adjustment = -1;
+        task_struct_run_list'prev = None;
         task_struct_state = state;
         task_struct_static_prio = static_prio;
         task_struct_tasks'next = tasks'next;
-          task_struct_tasks'next_offset = 200;
-          task_struct_tasks'next_adjustment = 200;
+          task_struct_tasks'next_offset = 404;
+          task_struct_tasks'next_adjustment = 404;
         task_struct_tasks'prev = tasks'prev }
   | { _ } ->
-      raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_7", match_err));;
-let task_struct_parser_8 kernel_version bits = 
+      raise (ParseError ("task_struct", "task_struct_parser_4", match_err));;
+let task_struct_parser_5 kernel_version bits = 
   bitmatch bits with
-  | { state : zero+64 : offset(0), bigendian;
-      prio : zero+32 : offset(256), bigendian;
-      static_prio : zero+32 : offset(288), bigendian;
-      normal_prio : zero+32 : offset(320), bigendian;
-      tasks'next : zero+64 : offset(4096), bigendian;
-      tasks'prev : zero+64 : offset(4160), bigendian;
-      pid : zero+32 : offset(4608), bigendian;
-      comm : 128 : offset(8712), string } ->
+  | { state : zero+32 : offset(0), bigendian;
+      prio : zero+32 : offset(160), bigendian;
+      static_prio : zero+32 : offset(192), bigendian;
+      normal_prio : zero+32 : offset(224), bigendian;
+      tasks'next : zero+32 : offset(3328), bigendian;
+      tasks'prev : zero+32 : offset(3360), bigendian;
+      pid : zero+32 : offset(3680), bigendian;
+      comm : 128 : offset(6056), string } ->
       { task_struct_comm = comm;
         task_struct_normal_prio = normal_prio;
         task_struct_pid = pid;
@@ -1181,12 +219,12 @@ let task_struct_parser_8 kernel_version bits =
         task_struct_state = state;
         task_struct_static_prio = static_prio;
         task_struct_tasks'next = tasks'next;
-          task_struct_tasks'next_offset = 512;
-          task_struct_tasks'next_adjustment = 512;
+          task_struct_tasks'next_offset = 416;
+          task_struct_tasks'next_adjustment = 416;
         task_struct_tasks'prev = tasks'prev }
   | { _ } ->
-      raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_8", match_err));;
-let task_struct_parser_9 kernel_version bits = 
+      raise (ParseError ("task_struct", "task_struct_parser_5", match_err));;
+let task_struct_parser_6 kernel_version bits = 
   bitmatch bits with
   | { state : zero+32 : offset(0), bigendian;
       prio : zero+32 : offset(192), bigendian;
@@ -1194,10 +232,10 @@ let task_struct_parser_9 kernel_version bits =
       normal_prio : zero+32 : offset(256), bigendian;
       run_list'next : zero+32 : offset(288), bigendian;
       run_list'prev : zero+32 : offset(320), bigendian;
-      tasks'next : zero+32 : offset(2304), bigendian;
-      tasks'prev : zero+32 : offset(2336), bigendian;
-      pid : zero+32 : offset(2784), bigendian;
-      comm : 128 : offset(4736), string } ->
+      tasks'next : zero+32 : offset(1024), bigendian;
+      tasks'prev : zero+32 : offset(1056), bigendian;
+      pid : zero+32 : offset(1376), bigendian;
+      comm : 128 : offset(3264), string } ->
       { task_struct_comm = comm;
         task_struct_normal_prio = normal_prio;
         task_struct_pid = pid;
@@ -1209,40 +247,12 @@ let task_struct_parser_9 kernel_version bits =
         task_struct_state = state;
         task_struct_static_prio = static_prio;
         task_struct_tasks'next = tasks'next;
-          task_struct_tasks'next_offset = 288;
-          task_struct_tasks'next_adjustment = 288;
-        task_struct_tasks'prev = tasks'prev }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_9", match_err));;
-let task_struct_parser_10 kernel_version bits = 
-  bitmatch bits with
-  | { state : zero+32 : offset(0), littleendian;
-      prio : zero+32 : offset(160), littleendian;
-      static_prio : zero+32 : offset(192), littleendian;
-      normal_prio : zero+32 : offset(224), littleendian;
-      run_list'next : zero+32 : offset(256), littleendian;
-      run_list'prev : zero+32 : offset(288), littleendian;
-      tasks'next : zero+32 : offset(3008), littleendian;
-      tasks'prev : zero+32 : offset(3040), littleendian;
-      pid : zero+32 : offset(3360), littleendian;
-      comm : 128 : offset(5416), string } ->
-      { task_struct_comm = comm;
-        task_struct_normal_prio = normal_prio;
-        task_struct_pid = pid;
-        task_struct_prio = prio;
-        task_struct_run_list'next = Some run_list'next;
-          task_struct_run_list'next_offset = 32;
-          task_struct_run_list'next_adjustment = 32;
-        task_struct_run_list'prev = Some run_list'prev;
-        task_struct_state = state;
-        task_struct_static_prio = static_prio;
-        task_struct_tasks'next = tasks'next;
-          task_struct_tasks'next_offset = 376;
-          task_struct_tasks'next_adjustment = 376;
+          task_struct_tasks'next_offset = 128;
+          task_struct_tasks'next_adjustment = 128;
         task_struct_tasks'prev = tasks'prev }
   | { _ } ->
-      raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_10", match_err));;
-let task_struct_parser_11 kernel_version bits = 
+      raise (ParseError ("task_struct", "task_struct_parser_6", match_err));;
+let task_struct_parser_7 kernel_version bits = 
   bitmatch bits with
   | { state : zero+64 : offset(0), littleendian;
       prio : zero+32 : offset(320), littleendian;
@@ -1253,7 +263,7 @@ let task_struct_parser_11 kernel_version bits =
       tasks'next : zero+64 : offset(1536), littleendian;
       tasks'prev : zero+64 : offset(1600), littleendian;
       pid : zero+32 : offset(2144), littleendian;
-      comm : 128 : offset(5376), string } ->
+      comm : 128 : offset(5440), string } ->
       { task_struct_comm = comm;
         task_struct_normal_prio = normal_prio;
         task_struct_pid = pid;
@@ -1269,1485 +279,75 @@ let task_struct_parser_11 kernel_version bits =
           task_struct_tasks'next_adjustment = 192;
         task_struct_tasks'prev = tasks'prev }
   | { _ } ->
-      raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_11", match_err));;
-let task_struct_parser_12 kernel_version bits = 
+      raise (ParseError ("task_struct", "task_struct_parser_7", match_err));;
+let task_struct_parser_8 kernel_version bits = 
   bitmatch bits with
-  | { state : zero+64 : offset(0), littleendian;
-      prio : zero+32 : offset(256), littleendian;
-      static_prio : zero+32 : offset(288), littleendian;
-      normal_prio : zero+32 : offset(320), littleendian;
-      run_list'next : zero+64 : offset(384), littleendian;
-      run_list'prev : zero+64 : offset(448), littleendian;
-      tasks'next : zero+64 : offset(2816), littleendian;
-      tasks'prev : zero+64 : offset(2880), littleendian;
-      pid : zero+32 : offset(3584), littleendian;
-      comm : 128 : offset(6912), string } ->
+  | { state : zero+32 : offset(0), littleendian;
+      prio : zero+32 : offset(192), littleendian;
+      static_prio : zero+32 : offset(224), littleendian;
+      normal_prio : zero+32 : offset(256), littleendian;
+      run_list'next : zero+32 : offset(288), littleendian;
+      run_list'prev : zero+32 : offset(320), littleendian;
+      tasks'next : zero+32 : offset(992), littleendian;
+      tasks'prev : zero+32 : offset(1024), littleendian;
+      pid : zero+32 : offset(1344), littleendian;
+      comm : 128 : offset(3232), string } ->
       { task_struct_comm = comm;
         task_struct_normal_prio = normal_prio;
         task_struct_pid = pid;
         task_struct_prio = prio;
         task_struct_run_list'next = Some run_list'next;
-          task_struct_run_list'next_offset = 48;
-          task_struct_run_list'next_adjustment = 48;
+          task_struct_run_list'next_offset = 36;
+          task_struct_run_list'next_adjustment = 36;
         task_struct_run_list'prev = Some run_list'prev;
         task_struct_state = state;
         task_struct_static_prio = static_prio;
         task_struct_tasks'next = tasks'next;
-          task_struct_tasks'next_offset = 352;
-          task_struct_tasks'next_adjustment = 352;
+          task_struct_tasks'next_offset = 124;
+          task_struct_tasks'next_adjustment = 124;
         task_struct_tasks'prev = tasks'prev }
   | { _ } ->
-      raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_12", match_err));;
-let task_struct_parser_13 kernel_version bits = 
+      raise (ParseError ("task_struct", "task_struct_parser_8", match_err));;
+let task_struct_parser_9 kernel_version bits = 
   bitmatch bits with
   | { state : zero+64 : offset(0), bigendian;
-      prio : zero+32 : offset(256), bigendian;
-      static_prio : zero+32 : offset(288), bigendian;
-      normal_prio : zero+32 : offset(320), bigendian;
-      run_list'next : zero+64 : offset(384), bigendian;
-      run_list'prev : zero+64 : offset(448), bigendian;
-      tasks'next : zero+64 : offset(1472), bigendian;
-      tasks'prev : zero+64 : offset(1536), bigendian;
-      pid : zero+32 : offset(1984), bigendian;
-      comm : 128 : offset(5184), string } ->
+      prio : zero+32 : offset(320), bigendian;
+      static_prio : zero+32 : offset(352), bigendian;
+      normal_prio : zero+32 : offset(384), bigendian;
+      run_list'next : zero+64 : offset(448), bigendian;
+      run_list'prev : zero+64 : offset(512), bigendian;
+      tasks'next : zero+64 : offset(1600), bigendian;
+      tasks'prev : zero+64 : offset(1664), bigendian;
+      pid : zero+32 : offset(2208), bigendian;
+      comm : 128 : offset(5440), string } ->
       { task_struct_comm = comm;
         task_struct_normal_prio = normal_prio;
         task_struct_pid = pid;
         task_struct_prio = prio;
         task_struct_run_list'next = Some run_list'next;
-          task_struct_run_list'next_offset = 48;
-          task_struct_run_list'next_adjustment = 48;
+          task_struct_run_list'next_offset = 56;
+          task_struct_run_list'next_adjustment = 56;
         task_struct_run_list'prev = Some run_list'prev;
         task_struct_state = state;
         task_struct_static_prio = static_prio;
         task_struct_tasks'next = tasks'next;
-          task_struct_tasks'next_offset = 184;
-          task_struct_tasks'next_adjustment = 184;
-        task_struct_tasks'prev = tasks'prev }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_13", match_err));;
-let task_struct_parser_14 kernel_version bits = 
-  bitmatch bits with
-  | { state : zero+64 : offset(0), bigendian;
-      prio : zero+32 : offset(224), bigendian;
-      static_prio : zero+32 : offset(256), bigendian;
-      normal_prio : zero+32 : offset(288), bigendian;
-      tasks'next : zero+64 : offset(3840), bigendian;
-      tasks'prev : zero+64 : offset(3904), bigendian;
-      pid : zero+32 : offset(4352), bigendian;
-      comm : 128 : offset(8392), string } ->
-      { task_struct_comm = comm;
-        task_struct_normal_prio = normal_prio;
-        task_struct_pid = pid;
-        task_struct_prio = prio;
-        task_struct_run_list'next = None;
-          task_struct_run_list'next_offset = -1;
-          task_struct_run_list'next_adjustment = -1;
-        task_struct_run_list'prev = None;
-        task_struct_state = state;
-        task_struct_static_prio = static_prio;
-        task_struct_tasks'next = tasks'next;
-          task_struct_tasks'next_offset = 480;
-          task_struct_tasks'next_adjustment = 480;
+          task_struct_tasks'next_offset = 200;
+          task_struct_tasks'next_adjustment = 200;
         task_struct_tasks'prev = tasks'prev }
   | { _ } ->
-      raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_14", match_err));;
-let task_struct_parser_15 kernel_version bits = 
-  bitmatch bits with
-  | { state : zero+32 : offset(0), littleendian;
-      prio : zero+32 : offset(192), littleendian;
-      static_prio : zero+32 : offset(224), littleendian;
-      normal_prio : zero+32 : offset(256), littleendian;
-      tasks'next : zero+32 : offset(3360), littleendian;
-      tasks'prev : zero+32 : offset(3392), littleendian;
-      pid : zero+32 : offset(3712), littleendian;
-      comm : 128 : offset(6088), string } ->
-      { task_struct_comm = comm;
-        task_struct_normal_prio = normal_prio;
-        task_struct_pid = pid;
-        task_struct_prio = prio;
-        task_struct_run_list'next = None;
-          task_struct_run_list'next_offset = -1;
-          task_struct_run_list'next_adjustment = -1;
-        task_struct_run_list'prev = None;
-        task_struct_state = state;
-        task_struct_static_prio = static_prio;
-        task_struct_tasks'next = tasks'next;
-          task_struct_tasks'next_offset = 420;
-          task_struct_tasks'next_adjustment = 420;
-        task_struct_tasks'prev = tasks'prev }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_15", match_err));;
-let task_struct_parser_16 kernel_version bits = 
-  bitmatch bits with
-  | { state : zero+32 : offset(0), littleendian;
-      prio : zero+32 : offset(160), littleendian;
-      static_prio : zero+32 : offset(192), littleendian;
-      normal_prio : zero+32 : offset(224), littleendian;
-      tasks'next : zero+32 : offset(3232), littleendian;
-      tasks'prev : zero+32 : offset(3264), littleendian;
-      pid : zero+32 : offset(3584), littleendian;
-      comm : 128 : offset(5928), string } ->
-      { task_struct_comm = comm;
-        task_struct_normal_prio = normal_prio;
-        task_struct_pid = pid;
-        task_struct_prio = prio;
-        task_struct_run_list'next = None;
-          task_struct_run_list'next_offset = -1;
-          task_struct_run_list'next_adjustment = -1;
-        task_struct_run_list'prev = None;
-        task_struct_state = state;
-        task_struct_static_prio = static_prio;
-        task_struct_tasks'next = tasks'next;
-          task_struct_tasks'next_offset = 404;
-          task_struct_tasks'next_adjustment = 404;
-        task_struct_tasks'prev = tasks'prev }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_16", match_err));;
-let task_struct_parser_17 kernel_version bits = 
-  bitmatch bits with
-  | { state : zero+32 : offset(0), bigendian;
-      prio : zero+32 : offset(160), bigendian;
-      static_prio : zero+32 : offset(192), bigendian;
-      normal_prio : zero+32 : offset(224), bigendian;
-      run_list'next : zero+32 : offset(256), bigendian;
-      run_list'prev : zero+32 : offset(288), bigendian;
-      tasks'next : zero+32 : offset(3136), bigendian;
-      tasks'prev : zero+32 : offset(3168), bigendian;
-      pid : zero+32 : offset(3488), bigendian;
-      comm : 128 : offset(5576), string } ->
-      { task_struct_comm = comm;
-        task_struct_normal_prio = normal_prio;
-        task_struct_pid = pid;
-        task_struct_prio = prio;
-        task_struct_run_list'next = Some run_list'next;
-          task_struct_run_list'next_offset = 32;
-          task_struct_run_list'next_adjustment = 32;
-        task_struct_run_list'prev = Some run_list'prev;
-        task_struct_state = state;
-        task_struct_static_prio = static_prio;
-        task_struct_tasks'next = tasks'next;
-          task_struct_tasks'next_offset = 392;
-          task_struct_tasks'next_adjustment = 392;
-        task_struct_tasks'prev = tasks'prev }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_17", match_err));;
-let task_struct_parser_18 kernel_version bits = 
-  bitmatch bits with
-  | { state : zero+32 : offset(0), littleendian;
-      prio : zero+32 : offset(160), littleendian;
-      static_prio : zero+32 : offset(192), littleendian;
-      normal_prio : zero+32 : offset(224), littleendian;
-      run_list'next : zero+32 : offset(256), littleendian;
-      run_list'prev : zero+32 : offset(288), littleendian;
-      tasks'next : zero+32 : offset(2144), littleendian;
-      tasks'prev : zero+32 : offset(2176), littleendian;
-      pid : zero+32 : offset(2496), littleendian;
-      comm : 128 : offset(4512), string } ->
-      { task_struct_comm = comm;
-        task_struct_normal_prio = normal_prio;
-        task_struct_pid = pid;
-        task_struct_prio = prio;
-        task_struct_run_list'next = Some run_list'next;
-          task_struct_run_list'next_offset = 32;
-          task_struct_run_list'next_adjustment = 32;
-        task_struct_run_list'prev = Some run_list'prev;
-        task_struct_state = state;
-        task_struct_static_prio = static_prio;
-        task_struct_tasks'next = tasks'next;
-          task_struct_tasks'next_offset = 268;
-          task_struct_tasks'next_adjustment = 268;
-        task_struct_tasks'prev = tasks'prev }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_18", match_err));;
-let task_struct_parser_19 kernel_version bits = 
-  bitmatch bits with
-  | { state : zero+32 : offset(0), littleendian;
-      prio : zero+32 : offset(192), littleendian;
-      static_prio : zero+32 : offset(224), littleendian;
-      normal_prio : zero+32 : offset(256), littleendian;
-      tasks'next : zero+32 : offset(3552), littleendian;
-      tasks'prev : zero+32 : offset(3584), littleendian;
-      pid : zero+32 : offset(3904), littleendian;
-      comm : 128 : offset(6272), string } ->
-      { task_struct_comm = comm;
-        task_struct_normal_prio = normal_prio;
-        task_struct_pid = pid;
-        task_struct_prio = prio;
-        task_struct_run_list'next = None;
-          task_struct_run_list'next_offset = -1;
-          task_struct_run_list'next_adjustment = -1;
-        task_struct_run_list'prev = None;
-        task_struct_state = state;
-        task_struct_static_prio = static_prio;
-        task_struct_tasks'next = tasks'next;
-          task_struct_tasks'next_offset = 444;
-          task_struct_tasks'next_adjustment = 444;
-        task_struct_tasks'prev = tasks'prev }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_19", match_err));;
-let task_struct_parser_20 kernel_version bits = 
-  bitmatch bits with
-  | { state : zero+32 : offset(0), bigendian;
-      prio : zero+32 : offset(160), bigendian;
-      static_prio : zero+32 : offset(192), bigendian;
-      normal_prio : zero+32 : offset(224), bigendian;
-      run_list'next : zero+32 : offset(256), bigendian;
-      run_list'prev : zero+32 : offset(288), bigendian;
-      tasks'next : zero+32 : offset(2240), bigendian;
-      tasks'prev : zero+32 : offset(2272), bigendian;
-      pid : zero+32 : offset(2592), bigendian;
-      comm : 128 : offset(4608), string } ->
-      { task_struct_comm = comm;
-        task_struct_normal_prio = normal_prio;
-        task_struct_pid = pid;
-        task_struct_prio = prio;
-        task_struct_run_list'next = Some run_list'next;
-          task_struct_run_list'next_offset = 32;
-          task_struct_run_list'next_adjustment = 32;
-        task_struct_run_list'prev = Some run_list'prev;
-        task_struct_state = state;
-        task_struct_static_prio = static_prio;
-        task_struct_tasks'next = tasks'next;
-          task_struct_tasks'next_offset = 280;
-          task_struct_tasks'next_adjustment = 280;
-        task_struct_tasks'prev = tasks'prev }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_20", match_err));;
-let task_struct_parser_21 kernel_version bits = 
-  bitmatch bits with
-  | { state : zero+64 : offset(0), littleendian;
-      prio : zero+32 : offset(256), littleendian;
-      static_prio : zero+32 : offset(288), littleendian;
-      normal_prio : zero+32 : offset(320), littleendian;
-      tasks'next : zero+64 : offset(4480), littleendian;
-      tasks'prev : zero+64 : offset(4544), littleendian;
-      pid : zero+32 : offset(4992), littleendian;
-      comm : 128 : offset(9024), string } ->
-      { task_struct_comm = comm;
-        task_struct_normal_prio = normal_prio;
-        task_struct_pid = pid;
-        task_struct_prio = prio;
-        task_struct_run_list'next = None;
-          task_struct_run_list'next_offset = -1;
-          task_struct_run_list'next_adjustment = -1;
-        task_struct_run_list'prev = None;
-        task_struct_state = state;
-        task_struct_static_prio = static_prio;
-        task_struct_tasks'next = tasks'next;
-          task_struct_tasks'next_offset = 560;
-          task_struct_tasks'next_adjustment = 560;
-        task_struct_tasks'prev = tasks'prev }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_21", match_err));;
-let task_struct_parser_22 kernel_version bits = 
-  bitmatch bits with
-  | { state : zero+32 : offset(0), littleendian;
-      prio : zero+32 : offset(160), littleendian;
-      static_prio : zero+32 : offset(192), littleendian;
-      normal_prio : zero+32 : offset(224), littleendian;
-      tasks'next : zero+32 : offset(3200), littleendian;
-      tasks'prev : zero+32 : offset(3232), littleendian;
-      pid : zero+32 : offset(3552), littleendian;
-      comm : 128 : offset(5896), string } ->
-      { task_struct_comm = comm;
-        task_struct_normal_prio = normal_prio;
-        task_struct_pid = pid;
-        task_struct_prio = prio;
-        task_struct_run_list'next = None;
-          task_struct_run_list'next_offset = -1;
-          task_struct_run_list'next_adjustment = -1;
-        task_struct_run_list'prev = None;
-        task_struct_state = state;
-        task_struct_static_prio = static_prio;
-        task_struct_tasks'next = tasks'next;
-          task_struct_tasks'next_offset = 400;
-          task_struct_tasks'next_adjustment = 400;
-        task_struct_tasks'prev = tasks'prev }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_22", match_err));;
-let task_struct_parser_23 kernel_version bits = 
-  bitmatch bits with
-  | { state : zero+64 : offset(0), littleendian;
-      prio : zero+32 : offset(224), littleendian;
-      static_prio : zero+32 : offset(256), littleendian;
-      normal_prio : zero+32 : offset(288), littleendian;
-      run_list'next : zero+64 : offset(320), littleendian;
-      run_list'prev : zero+64 : offset(384), littleendian;
-      tasks'next : zero+64 : offset(2816), littleendian;
-      tasks'prev : zero+64 : offset(2880), littleendian;
-      pid : zero+32 : offset(3328), littleendian;
-      comm : 128 : offset(6592), string } ->
-      { task_struct_comm = comm;
-        task_struct_normal_prio = normal_prio;
-        task_struct_pid = pid;
-        task_struct_prio = prio;
-        task_struct_run_list'next = Some run_list'next;
-          task_struct_run_list'next_offset = 40;
-          task_struct_run_list'next_adjustment = 40;
-        task_struct_run_list'prev = Some run_list'prev;
-        task_struct_state = state;
-        task_struct_static_prio = static_prio;
-        task_struct_tasks'next = tasks'next;
-          task_struct_tasks'next_offset = 352;
-          task_struct_tasks'next_adjustment = 352;
-        task_struct_tasks'prev = tasks'prev }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_23", match_err));;
-let task_struct_parser_24 kernel_version bits = 
-  bitmatch bits with
-  | { state : zero+64 : offset(0), bigendian;
-      prio : zero+32 : offset(224), bigendian;
-      static_prio : zero+32 : offset(256), bigendian;
-      normal_prio : zero+32 : offset(288), bigendian;
-      run_list'next : zero+64 : offset(320), bigendian;
-      run_list'prev : zero+64 : offset(384), bigendian;
-      tasks'next : zero+64 : offset(2816), bigendian;
-      tasks'prev : zero+64 : offset(2880), bigendian;
-      pid : zero+32 : offset(3328), bigendian;
-      comm : 128 : offset(6528), string } ->
-      { task_struct_comm = comm;
-        task_struct_normal_prio = normal_prio;
-        task_struct_pid = pid;
-        task_struct_prio = prio;
-        task_struct_run_list'next = Some run_list'next;
-          task_struct_run_list'next_offset = 40;
-          task_struct_run_list'next_adjustment = 40;
-        task_struct_run_list'prev = Some run_list'prev;
-        task_struct_state = state;
-        task_struct_static_prio = static_prio;
-        task_struct_tasks'next = tasks'next;
-          task_struct_tasks'next_offset = 352;
-          task_struct_tasks'next_adjustment = 352;
-        task_struct_tasks'prev = tasks'prev }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_24", match_err));;
-let task_struct_parser_25 kernel_version bits = 
-  bitmatch bits with
-  | { state : zero+64 : offset(0), bigendian;
-      prio : zero+32 : offset(224), bigendian;
-      static_prio : zero+32 : offset(256), bigendian;
-      normal_prio : zero+32 : offset(288), bigendian;
-      run_list'next : zero+64 : offset(320), bigendian;
-      run_list'prev : zero+64 : offset(384), bigendian;
-      tasks'next : zero+64 : offset(2880), bigendian;
-      tasks'prev : zero+64 : offset(2944), bigendian;
-      pid : zero+32 : offset(3392), bigendian;
-      comm : 128 : offset(6848), string } ->
-      { task_struct_comm = comm;
-        task_struct_normal_prio = normal_prio;
-        task_struct_pid = pid;
-        task_struct_prio = prio;
-        task_struct_run_list'next = Some run_list'next;
-          task_struct_run_list'next_offset = 40;
-          task_struct_run_list'next_adjustment = 40;
-        task_struct_run_list'prev = Some run_list'prev;
-        task_struct_state = state;
-        task_struct_static_prio = static_prio;
-        task_struct_tasks'next = tasks'next;
-          task_struct_tasks'next_offset = 360;
-          task_struct_tasks'next_adjustment = 360;
-        task_struct_tasks'prev = tasks'prev }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_25", match_err));;
-let task_struct_parser_26 kernel_version bits = 
-  bitmatch bits with
-  | { state : zero+32 : offset(0), bigendian;
-      prio : zero+32 : offset(192), bigendian;
-      static_prio : zero+32 : offset(224), bigendian;
-      normal_prio : zero+32 : offset(256), bigendian;
-      run_list'next : zero+32 : offset(288), bigendian;
-      run_list'prev : zero+32 : offset(320), bigendian;
-      tasks'next : zero+32 : offset(1024), bigendian;
-      tasks'prev : zero+32 : offset(1056), bigendian;
-      pid : zero+32 : offset(1376), bigendian;
-      comm : 128 : offset(3264), string } ->
-      { task_struct_comm = comm;
-        task_struct_normal_prio = normal_prio;
-        task_struct_pid = pid;
-        task_struct_prio = prio;
-        task_struct_run_list'next = Some run_list'next;
-          task_struct_run_list'next_offset = 36;
-          task_struct_run_list'next_adjustment = 36;
-        task_struct_run_list'prev = Some run_list'prev;
-        task_struct_state = state;
-        task_struct_static_prio = static_prio;
-        task_struct_tasks'next = tasks'next;
-          task_struct_tasks'next_offset = 128;
-          task_struct_tasks'next_adjustment = 128;
-        task_struct_tasks'prev = tasks'prev }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_26", match_err));;
-let task_struct_parser_27 kernel_version bits = 
-  bitmatch bits with
-  | { state : zero+64 : offset(0), bigendian;
-      prio : zero+32 : offset(224), bigendian;
-      static_prio : zero+32 : offset(256), bigendian;
-      normal_prio : zero+32 : offset(288), bigendian;
-      run_list'next : zero+64 : offset(320), bigendian;
-      run_list'prev : zero+64 : offset(384), bigendian;
-      tasks'next : zero+64 : offset(2880), bigendian;
-      tasks'prev : zero+64 : offset(2944), bigendian;
-      pid : zero+32 : offset(3392), bigendian;
-      comm : 128 : offset(6592), string } ->
-      { task_struct_comm = comm;
-        task_struct_normal_prio = normal_prio;
-        task_struct_pid = pid;
-        task_struct_prio = prio;
-        task_struct_run_list'next = Some run_list'next;
-          task_struct_run_list'next_offset = 40;
-          task_struct_run_list'next_adjustment = 40;
-        task_struct_run_list'prev = Some run_list'prev;
-        task_struct_state = state;
-        task_struct_static_prio = static_prio;
-        task_struct_tasks'next = tasks'next;
-          task_struct_tasks'next_offset = 360;
-          task_struct_tasks'next_adjustment = 360;
-        task_struct_tasks'prev = tasks'prev }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_27", match_err));;
-let task_struct_parser_28 kernel_version bits = 
-  bitmatch bits with
-  | { state : zero+32 : offset(0), littleendian;
-      prio : zero+32 : offset(192), littleendian;
-      static_prio : zero+32 : offset(224), littleendian;
-      normal_prio : zero+32 : offset(256), littleendian;
-      run_list'next : zero+32 : offset(288), littleendian;
-      run_list'prev : zero+32 : offset(320), littleendian;
-      tasks'next : zero+32 : offset(2208), littleendian;
-      tasks'prev : zero+32 : offset(2240), littleendian;
-      pid : zero+32 : offset(2688), littleendian;
-      comm : 128 : offset(4608), string } ->
-      { task_struct_comm = comm;
-        task_struct_normal_prio = normal_prio;
-        task_struct_pid = pid;
-        task_struct_prio = prio;
-        task_struct_run_list'next = Some run_list'next;
-          task_struct_run_list'next_offset = 36;
-          task_struct_run_list'next_adjustment = 36;
-        task_struct_run_list'prev = Some run_list'prev;
-        task_struct_state = state;
-        task_struct_static_prio = static_prio;
-        task_struct_tasks'next = tasks'next;
-          task_struct_tasks'next_offset = 276;
-          task_struct_tasks'next_adjustment = 276;
-        task_struct_tasks'prev = tasks'prev }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_28", match_err));;
-let task_struct_parser_29 kernel_version bits = 
-  bitmatch bits with
-  | { state : zero+32 : offset(0), bigendian;
-      prio : zero+32 : offset(160), bigendian;
-      static_prio : zero+32 : offset(192), bigendian;
-      normal_prio : zero+32 : offset(224), bigendian;
-      tasks'next : zero+32 : offset(3328), bigendian;
-      tasks'prev : zero+32 : offset(3360), bigendian;
-      pid : zero+32 : offset(3680), bigendian;
-      comm : 128 : offset(6056), string } ->
-      { task_struct_comm = comm;
-        task_struct_normal_prio = normal_prio;
-        task_struct_pid = pid;
-        task_struct_prio = prio;
-        task_struct_run_list'next = None;
-          task_struct_run_list'next_offset = -1;
-          task_struct_run_list'next_adjustment = -1;
-        task_struct_run_list'prev = None;
-        task_struct_state = state;
-        task_struct_static_prio = static_prio;
-        task_struct_tasks'next = tasks'next;
-          task_struct_tasks'next_offset = 416;
-          task_struct_tasks'next_adjustment = 416;
-        task_struct_tasks'prev = tasks'prev }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_29", match_err));;
-let task_struct_parser_30 kernel_version bits = 
-  bitmatch bits with
-  | { state : zero+64 : offset(0), bigendian;
-      prio : zero+32 : offset(256), bigendian;
-      static_prio : zero+32 : offset(288), bigendian;
-      normal_prio : zero+32 : offset(320), bigendian;
-      tasks'next : zero+64 : offset(4480), bigendian;
-      tasks'prev : zero+64 : offset(4544), bigendian;
-      pid : zero+32 : offset(4992), bigendian;
-      comm : 128 : offset(9024), string } ->
-      { task_struct_comm = comm;
-        task_struct_normal_prio = normal_prio;
-        task_struct_pid = pid;
-        task_struct_prio = prio;
-        task_struct_run_list'next = None;
-          task_struct_run_list'next_offset = -1;
-          task_struct_run_list'next_adjustment = -1;
-        task_struct_run_list'prev = None;
-        task_struct_state = state;
-        task_struct_static_prio = static_prio;
-        task_struct_tasks'next = tasks'next;
-          task_struct_tasks'next_offset = 560;
-          task_struct_tasks'next_adjustment = 560;
-        task_struct_tasks'prev = tasks'prev }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_30", match_err));;
-let task_struct_parser_31 kernel_version bits = 
-  bitmatch bits with
-  | { state : zero+32 : offset(0), littleendian;
-      prio : zero+32 : offset(192), littleendian;
-      static_prio : zero+32 : offset(224), littleendian;
-      normal_prio : zero+32 : offset(256), littleendian;
-      tasks'next : zero+32 : offset(3584), littleendian;
-      tasks'prev : zero+32 : offset(3616), littleendian;
-      pid : zero+32 : offset(3936), littleendian;
-      comm : 128 : offset(6304), string } ->
-      { task_struct_comm = comm;
-        task_struct_normal_prio = normal_prio;
-        task_struct_pid = pid;
-        task_struct_prio = prio;
-        task_struct_run_list'next = None;
-          task_struct_run_list'next_offset = -1;
-          task_struct_run_list'next_adjustment = -1;
-        task_struct_run_list'prev = None;
-        task_struct_state = state;
-        task_struct_static_prio = static_prio;
-        task_struct_tasks'next = tasks'next;
-          task_struct_tasks'next_offset = 448;
-          task_struct_tasks'next_adjustment = 448;
-        task_struct_tasks'prev = tasks'prev }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_31", match_err));;
-let task_struct_parser_32 kernel_version bits = 
-  bitmatch bits with
-  | { state : zero+32 : offset(0), bigendian;
-      prio : zero+32 : offset(192), bigendian;
-      static_prio : zero+32 : offset(224), bigendian;
-      normal_prio : zero+32 : offset(256), bigendian;
-      tasks'next : zero+32 : offset(3392), bigendian;
-      tasks'prev : zero+32 : offset(3424), bigendian;
-      pid : zero+32 : offset(3744), bigendian;
-      comm : 128 : offset(6120), string } ->
-      { task_struct_comm = comm;
-        task_struct_normal_prio = normal_prio;
-        task_struct_pid = pid;
-        task_struct_prio = prio;
-        task_struct_run_list'next = None;
-          task_struct_run_list'next_offset = -1;
-          task_struct_run_list'next_adjustment = -1;
-        task_struct_run_list'prev = None;
-        task_struct_state = state;
-        task_struct_static_prio = static_prio;
-        task_struct_tasks'next = tasks'next;
-          task_struct_tasks'next_offset = 424;
-          task_struct_tasks'next_adjustment = 424;
-        task_struct_tasks'prev = tasks'prev }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_32", match_err));;
-let task_struct_parser_33 kernel_version bits = 
-  bitmatch bits with
-  | { state : zero+64 : offset(0), littleendian;
-      prio : zero+32 : offset(224), littleendian;
-      static_prio : zero+32 : offset(256), littleendian;
-      normal_prio : zero+32 : offset(288), littleendian;
-      run_list'next : zero+64 : offset(320), littleendian;
-      run_list'prev : zero+64 : offset(384), littleendian;
-      tasks'next : zero+64 : offset(3648), littleendian;
-      tasks'prev : zero+64 : offset(3712), littleendian;
-      pid : zero+32 : offset(4160), littleendian;
-      comm : 128 : offset(7816), string } ->
-      { task_struct_comm = comm;
-        task_struct_normal_prio = normal_prio;
-        task_struct_pid = pid;
-        task_struct_prio = prio;
-        task_struct_run_list'next = Some run_list'next;
-          task_struct_run_list'next_offset = 40;
-          task_struct_run_list'next_adjustment = 40;
-        task_struct_run_list'prev = Some run_list'prev;
-        task_struct_state = state;
-        task_struct_static_prio = static_prio;
-        task_struct_tasks'next = tasks'next;
-          task_struct_tasks'next_offset = 456;
-          task_struct_tasks'next_adjustment = 456;
-        task_struct_tasks'prev = tasks'prev }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_33", match_err));;
-let task_struct_parser_34 kernel_version bits = 
-  bitmatch bits with
-  | { state : zero+64 : offset(0), littleendian;
-      prio : zero+32 : offset(256), littleendian;
-      static_prio : zero+32 : offset(288), littleendian;
-      normal_prio : zero+32 : offset(320), littleendian;
-      run_list'next : zero+64 : offset(384), littleendian;
-      run_list'prev : zero+64 : offset(448), littleendian;
-      tasks'next : zero+64 : offset(1408), littleendian;
-      tasks'prev : zero+64 : offset(1472), littleendian;
-      pid : zero+32 : offset(1920), littleendian;
-      comm : 128 : offset(5184), string } ->
-      { task_struct_comm = comm;
-        task_struct_normal_prio = normal_prio;
-        task_struct_pid = pid;
-        task_struct_prio = prio;
-        task_struct_run_list'next = Some run_list'next;
-          task_struct_run_list'next_offset = 48;
-          task_struct_run_list'next_adjustment = 48;
-        task_struct_run_list'prev = Some run_list'prev;
-        task_struct_state = state;
-        task_struct_static_prio = static_prio;
-        task_struct_tasks'next = tasks'next;
-          task_struct_tasks'next_offset = 176;
-          task_struct_tasks'next_adjustment = 176;
-        task_struct_tasks'prev = tasks'prev }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_34", match_err));;
-let task_struct_parser_35 kernel_version bits = 
-  bitmatch bits with
-  | { state : zero+32 : offset(0), littleendian;
-      prio : zero+32 : offset(192), littleendian;
-      static_prio : zero+32 : offset(224), littleendian;
-      normal_prio : zero+32 : offset(256), littleendian;
-      tasks'next : zero+32 : offset(3328), littleendian;
-      tasks'prev : zero+32 : offset(3360), littleendian;
-      pid : zero+32 : offset(3680), littleendian;
-      comm : 128 : offset(6056), string } ->
-      { task_struct_comm = comm;
-        task_struct_normal_prio = normal_prio;
-        task_struct_pid = pid;
-        task_struct_prio = prio;
-        task_struct_run_list'next = None;
-          task_struct_run_list'next_offset = -1;
-          task_struct_run_list'next_adjustment = -1;
-        task_struct_run_list'prev = None;
-        task_struct_state = state;
-        task_struct_static_prio = static_prio;
-        task_struct_tasks'next = tasks'next;
-          task_struct_tasks'next_offset = 416;
-          task_struct_tasks'next_adjustment = 416;
-        task_struct_tasks'prev = tasks'prev }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_35", match_err));;
-let task_struct_parser_36 kernel_version bits = 
-  bitmatch bits with
-  | { state : zero+64 : offset(0), littleendian;
-      prio : zero+32 : offset(224), littleendian;
-      static_prio : zero+32 : offset(256), littleendian;
-      normal_prio : zero+32 : offset(288), littleendian;
-      run_list'next : zero+64 : offset(320), littleendian;
-      run_list'prev : zero+64 : offset(384), littleendian;
-      tasks'next : zero+64 : offset(2816), littleendian;
-      tasks'prev : zero+64 : offset(2880), littleendian;
-      pid : zero+32 : offset(3328), littleendian;
-      comm : 128 : offset(6848), string } ->
-      { task_struct_comm = comm;
-        task_struct_normal_prio = normal_prio;
-        task_struct_pid = pid;
-        task_struct_prio = prio;
-        task_struct_run_list'next = Some run_list'next;
-          task_struct_run_list'next_offset = 40;
-          task_struct_run_list'next_adjustment = 40;
-        task_struct_run_list'prev = Some run_list'prev;
-        task_struct_state = state;
-        task_struct_static_prio = static_prio;
-        task_struct_tasks'next = tasks'next;
-          task_struct_tasks'next_offset = 352;
-          task_struct_tasks'next_adjustment = 352;
-        task_struct_tasks'prev = tasks'prev }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_36", match_err));;
-let task_struct_parser_37 kernel_version bits = 
-  bitmatch bits with
-  | { state : zero+64 : offset(0), bigendian;
-      prio : zero+32 : offset(256), bigendian;
-      static_prio : zero+32 : offset(288), bigendian;
-      normal_prio : zero+32 : offset(320), bigendian;
-      run_list'next : zero+64 : offset(384), bigendian;
-      run_list'prev : zero+64 : offset(448), bigendian;
-      tasks'next : zero+64 : offset(2688), bigendian;
-      tasks'prev : zero+64 : offset(2752), bigendian;
-      pid : zero+32 : offset(3456), bigendian;
-      comm : 128 : offset(6720), string } ->
-      { task_struct_comm = comm;
-        task_struct_normal_prio = normal_prio;
-        task_struct_pid = pid;
-        task_struct_prio = prio;
-        task_struct_run_list'next = Some run_list'next;
-          task_struct_run_list'next_offset = 48;
-          task_struct_run_list'next_adjustment = 48;
-        task_struct_run_list'prev = Some run_list'prev;
-        task_struct_state = state;
-        task_struct_static_prio = static_prio;
-        task_struct_tasks'next = tasks'next;
-          task_struct_tasks'next_offset = 336;
-          task_struct_tasks'next_adjustment = 336;
-        task_struct_tasks'prev = tasks'prev }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_37", match_err));;
-let task_struct_parser_38 kernel_version bits = 
-  bitmatch bits with
-  | { state : zero+32 : offset(0), bigendian;
-      prio : zero+32 : offset(160), bigendian;
-      static_prio : zero+32 : offset(192), bigendian;
-      normal_prio : zero+32 : offset(224), bigendian;
-      run_list'next : zero+32 : offset(256), bigendian;
-      run_list'prev : zero+32 : offset(288), bigendian;
-      tasks'next : zero+32 : offset(2240), bigendian;
-      tasks'prev : zero+32 : offset(2272), bigendian;
-      pid : zero+32 : offset(2592), bigendian;
-      comm : 128 : offset(4480), string } ->
-      { task_struct_comm = comm;
-        task_struct_normal_prio = normal_prio;
-        task_struct_pid = pid;
-        task_struct_prio = prio;
-        task_struct_run_list'next = Some run_list'next;
-          task_struct_run_list'next_offset = 32;
-          task_struct_run_list'next_adjustment = 32;
-        task_struct_run_list'prev = Some run_list'prev;
-        task_struct_state = state;
-        task_struct_static_prio = static_prio;
-        task_struct_tasks'next = tasks'next;
-          task_struct_tasks'next_offset = 280;
-          task_struct_tasks'next_adjustment = 280;
-        task_struct_tasks'prev = tasks'prev }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_38", match_err));;
-let task_struct_parser_39 kernel_version bits = 
-  bitmatch bits with
-  | { state : zero+32 : offset(0), littleendian;
-      prio : zero+32 : offset(160), littleendian;
-      static_prio : zero+32 : offset(192), littleendian;
-      normal_prio : zero+32 : offset(224), littleendian;
-      run_list'next : zero+32 : offset(256), littleendian;
-      run_list'prev : zero+32 : offset(288), littleendian;
-      tasks'next : zero+32 : offset(2144), littleendian;
-      tasks'prev : zero+32 : offset(2176), littleendian;
-      pid : zero+32 : offset(2496), littleendian;
-      comm : 128 : offset(4384), string } ->
-      { task_struct_comm = comm;
-        task_struct_normal_prio = normal_prio;
-        task_struct_pid = pid;
-        task_struct_prio = prio;
-        task_struct_run_list'next = Some run_list'next;
-          task_struct_run_list'next_offset = 32;
-          task_struct_run_list'next_adjustment = 32;
-        task_struct_run_list'prev = Some run_list'prev;
-        task_struct_state = state;
-        task_struct_static_prio = static_prio;
-        task_struct_tasks'next = tasks'next;
-          task_struct_tasks'next_offset = 268;
-          task_struct_tasks'next_adjustment = 268;
-        task_struct_tasks'prev = tasks'prev }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_39", match_err));;
-let task_struct_parser_40 kernel_version bits = 
-  bitmatch bits with
-  | { state : zero+64 : offset(0), bigendian;
-      prio : zero+32 : offset(256), bigendian;
-      static_prio : zero+32 : offset(288), bigendian;
-      normal_prio : zero+32 : offset(320), bigendian;
-      run_list'next : zero+64 : offset(384), bigendian;
-      run_list'prev : zero+64 : offset(448), bigendian;
-      tasks'next : zero+64 : offset(2880), bigendian;
-      tasks'prev : zero+64 : offset(2944), bigendian;
-      pid : zero+32 : offset(3648), bigendian;
-      comm : 128 : offset(6912), string } ->
-      { task_struct_comm = comm;
-        task_struct_normal_prio = normal_prio;
-        task_struct_pid = pid;
-        task_struct_prio = prio;
-        task_struct_run_list'next = Some run_list'next;
-          task_struct_run_list'next_offset = 48;
-          task_struct_run_list'next_adjustment = 48;
-        task_struct_run_list'prev = Some run_list'prev;
-        task_struct_state = state;
-        task_struct_static_prio = static_prio;
-        task_struct_tasks'next = tasks'next;
-          task_struct_tasks'next_offset = 360;
-          task_struct_tasks'next_adjustment = 360;
-        task_struct_tasks'prev = tasks'prev }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_40", match_err));;
-let task_struct_parser_41 kernel_version bits = 
-  bitmatch bits with
-  | { state : zero+64 : offset(0), littleendian;
-      prio : zero+32 : offset(224), littleendian;
-      static_prio : zero+32 : offset(256), littleendian;
-      normal_prio : zero+32 : offset(288), littleendian;
-      run_list'next : zero+64 : offset(320), littleendian;
-      run_list'prev : zero+64 : offset(384), littleendian;
-      tasks'next : zero+64 : offset(2752), littleendian;
-      tasks'prev : zero+64 : offset(2816), littleendian;
-      pid : zero+32 : offset(3264), littleendian;
-      comm : 128 : offset(6528), string } ->
-      { task_struct_comm = comm;
-        task_struct_normal_prio = normal_prio;
-        task_struct_pid = pid;
-        task_struct_prio = prio;
-        task_struct_run_list'next = Some run_list'next;
-          task_struct_run_list'next_offset = 40;
-          task_struct_run_list'next_adjustment = 40;
-        task_struct_run_list'prev = Some run_list'prev;
-        task_struct_state = state;
-        task_struct_static_prio = static_prio;
-        task_struct_tasks'next = tasks'next;
-          task_struct_tasks'next_offset = 344;
-          task_struct_tasks'next_adjustment = 344;
-        task_struct_tasks'prev = tasks'prev }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_41", match_err));;
-let task_struct_parser_42 kernel_version bits = 
-  bitmatch bits with
-  | { state : zero+32 : offset(0), littleendian;
-      prio : zero+32 : offset(192), littleendian;
-      static_prio : zero+32 : offset(224), littleendian;
-      normal_prio : zero+32 : offset(256), littleendian;
-      run_list'next : zero+32 : offset(288), littleendian;
-      run_list'prev : zero+32 : offset(320), littleendian;
-      tasks'next : zero+32 : offset(2144), littleendian;
-      tasks'prev : zero+32 : offset(2176), littleendian;
-      pid : zero+32 : offset(2624), littleendian;
-      comm : 128 : offset(4544), string } ->
-      { task_struct_comm = comm;
-        task_struct_normal_prio = normal_prio;
-        task_struct_pid = pid;
-        task_struct_prio = prio;
-        task_struct_run_list'next = Some run_list'next;
-          task_struct_run_list'next_offset = 36;
-          task_struct_run_list'next_adjustment = 36;
-        task_struct_run_list'prev = Some run_list'prev;
-        task_struct_state = state;
-        task_struct_static_prio = static_prio;
-        task_struct_tasks'next = tasks'next;
-          task_struct_tasks'next_offset = 268;
-          task_struct_tasks'next_adjustment = 268;
-        task_struct_tasks'prev = tasks'prev }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_42", match_err));;
-let task_struct_parser_43 kernel_version bits = 
-  bitmatch bits with
-  | { state : zero+64 : offset(0), littleendian;
-      prio : zero+32 : offset(320), littleendian;
-      static_prio : zero+32 : offset(352), littleendian;
-      normal_prio : zero+32 : offset(384), littleendian;
-      run_list'next : zero+64 : offset(448), littleendian;
-      run_list'prev : zero+64 : offset(512), littleendian;
-      tasks'next : zero+64 : offset(1728), littleendian;
-      tasks'prev : zero+64 : offset(1792), littleendian;
-      pid : zero+32 : offset(2336), littleendian;
-      comm : 128 : offset(5568), string } ->
-      { task_struct_comm = comm;
-        task_struct_normal_prio = normal_prio;
-        task_struct_pid = pid;
-        task_struct_prio = prio;
-        task_struct_run_list'next = Some run_list'next;
-          task_struct_run_list'next_offset = 56;
-          task_struct_run_list'next_adjustment = 56;
-        task_struct_run_list'prev = Some run_list'prev;
-        task_struct_state = state;
-        task_struct_static_prio = static_prio;
-        task_struct_tasks'next = tasks'next;
-          task_struct_tasks'next_offset = 216;
-          task_struct_tasks'next_adjustment = 216;
-        task_struct_tasks'prev = tasks'prev }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_43", match_err));;
-let task_struct_parser_44 kernel_version bits = 
-  bitmatch bits with
-  | { state : zero+64 : offset(0), littleendian;
-      prio : zero+32 : offset(256), littleendian;
-      static_prio : zero+32 : offset(288), littleendian;
-      normal_prio : zero+32 : offset(320), littleendian;
-      tasks'next : zero+64 : offset(4096), littleendian;
-      tasks'prev : zero+64 : offset(4160), littleendian;
-      pid : zero+32 : offset(4608), littleendian;
-      comm : 128 : offset(8712), string } ->
-      { task_struct_comm = comm;
-        task_struct_normal_prio = normal_prio;
-        task_struct_pid = pid;
-        task_struct_prio = prio;
-        task_struct_run_list'next = None;
-          task_struct_run_list'next_offset = -1;
-          task_struct_run_list'next_adjustment = -1;
-        task_struct_run_list'prev = None;
-        task_struct_state = state;
-        task_struct_static_prio = static_prio;
-        task_struct_tasks'next = tasks'next;
-          task_struct_tasks'next_offset = 512;
-          task_struct_tasks'next_adjustment = 512;
-        task_struct_tasks'prev = tasks'prev }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_44", match_err));;
-let task_struct_parser_45 kernel_version bits = 
-  bitmatch bits with
-  | { state : zero+32 : offset(0), littleendian;
-      prio : zero+32 : offset(160), littleendian;
-      static_prio : zero+32 : offset(192), littleendian;
-      normal_prio : zero+32 : offset(224), littleendian;
-      run_list'next : zero+32 : offset(256), littleendian;
-      run_list'prev : zero+32 : offset(288), littleendian;
-      tasks'next : zero+32 : offset(2176), littleendian;
-      tasks'prev : zero+32 : offset(2208), littleendian;
-      pid : zero+32 : offset(2528), littleendian;
-      comm : 128 : offset(4416), string } ->
-      { task_struct_comm = comm;
-        task_struct_normal_prio = normal_prio;
-        task_struct_pid = pid;
-        task_struct_prio = prio;
-        task_struct_run_list'next = Some run_list'next;
-          task_struct_run_list'next_offset = 32;
-          task_struct_run_list'next_adjustment = 32;
-        task_struct_run_list'prev = Some run_list'prev;
-        task_struct_state = state;
-        task_struct_static_prio = static_prio;
-        task_struct_tasks'next = tasks'next;
-          task_struct_tasks'next_offset = 272;
-          task_struct_tasks'next_adjustment = 272;
-        task_struct_tasks'prev = tasks'prev }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_45", match_err));;
-let task_struct_parser_46 kernel_version bits = 
-  bitmatch bits with
-  | { state : zero+32 : offset(0), bigendian;
-      prio : zero+32 : offset(192), bigendian;
-      static_prio : zero+32 : offset(224), bigendian;
-      normal_prio : zero+32 : offset(256), bigendian;
-      run_list'next : zero+32 : offset(288), bigendian;
-      run_list'prev : zero+32 : offset(320), bigendian;
-      tasks'next : zero+32 : offset(2240), bigendian;
-      tasks'prev : zero+32 : offset(2272), bigendian;
-      pid : zero+32 : offset(2720), bigendian;
-      comm : 128 : offset(4672), string } ->
-      { task_struct_comm = comm;
-        task_struct_normal_prio = normal_prio;
-        task_struct_pid = pid;
-        task_struct_prio = prio;
-        task_struct_run_list'next = Some run_list'next;
-          task_struct_run_list'next_offset = 36;
-          task_struct_run_list'next_adjustment = 36;
-        task_struct_run_list'prev = Some run_list'prev;
-        task_struct_state = state;
-        task_struct_static_prio = static_prio;
-        task_struct_tasks'next = tasks'next;
-          task_struct_tasks'next_offset = 280;
-          task_struct_tasks'next_adjustment = 280;
-        task_struct_tasks'prev = tasks'prev }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_46", match_err));;
-let task_struct_parser_47 kernel_version bits = 
-  bitmatch bits with
-  | { state : zero+64 : offset(0), littleendian;
-      prio : zero+32 : offset(256), littleendian;
-      static_prio : zero+32 : offset(288), littleendian;
-      normal_prio : zero+32 : offset(320), littleendian;
-      run_list'next : zero+64 : offset(384), littleendian;
-      run_list'prev : zero+64 : offset(448), littleendian;
-      tasks'next : zero+64 : offset(2624), littleendian;
-      tasks'prev : zero+64 : offset(2688), littleendian;
-      pid : zero+32 : offset(3392), littleendian;
-      comm : 128 : offset(6720), string } ->
-      { task_struct_comm = comm;
-        task_struct_normal_prio = normal_prio;
-        task_struct_pid = pid;
-        task_struct_prio = prio;
-        task_struct_run_list'next = Some run_list'next;
-          task_struct_run_list'next_offset = 48;
-          task_struct_run_list'next_adjustment = 48;
-        task_struct_run_list'prev = Some run_list'prev;
-        task_struct_state = state;
-        task_struct_static_prio = static_prio;
-        task_struct_tasks'next = tasks'next;
-          task_struct_tasks'next_offset = 328;
-          task_struct_tasks'next_adjustment = 328;
-        task_struct_tasks'prev = tasks'prev }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_47", match_err));;
-let net_device_parser_48 kernel_version bits = 
-  bitmatch bits with
-  | { name : 128 : offset(0), string;
-      next : zero+32 : offset(384), littleendian;
-      flags : zero+32 : offset(704), littleendian;
-      operstate : zero+8 : offset(784), littleendian;
-      mtu : zero+32 : offset(800), littleendian;
-      perm_addr : 256 : offset(896), string;
-      addr_len : zero+8 : offset(1152), littleendian;
-      ip_ptr : zero+32 : offset(1344), littleendian;
-      ip6_ptr : zero+32 : offset(1408), littleendian } ->
-      { net_device_addr_len = addr_len;
-        net_device_dev_list'next = None;
-          net_device_dev_list'next_offset = -1;
-          net_device_dev_list'next_adjustment = -1;
-        net_device_dev_list'prev = None;
-        net_device_flags = flags;
-        net_device_ip6_ptr = ip6_ptr;
-        net_device_ip_ptr = ip_ptr;
-        net_device_mtu = mtu;
-        net_device_name = name;
-        net_device_next = Some next;
-        net_device_operstate = operstate;
-        net_device_perm_addr = perm_addr }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("net_device", "net_device_parser_48", match_err));;
-let net_device_parser_49 kernel_version bits = 
-  bitmatch bits with
-  | { name : 128 : offset(0), string;
-      dev_list'next : zero+64 : offset(576), bigendian;
-      dev_list'prev : zero+64 : offset(640), bigendian;
-      flags : zero+32 : offset(2880), bigendian;
-      operstate : zero+8 : offset(2960), bigendian;
-      mtu : zero+32 : offset(2976), bigendian;
-      perm_addr : 256 : offset(3136), string;
-      addr_len : zero+8 : offset(3392), bigendian;
-      ip_ptr : zero+64 : offset(3840), bigendian;
-      ip6_ptr : zero+64 : offset(3968), bigendian } ->
-      { net_device_addr_len = addr_len;
-        net_device_dev_list'next = Some dev_list'next;
-          net_device_dev_list'next_offset = 72;
-          net_device_dev_list'next_adjustment = 72;
-        net_device_dev_list'prev = Some dev_list'prev;
-        net_device_flags = flags;
-        net_device_ip6_ptr = ip6_ptr;
-        net_device_ip_ptr = ip_ptr;
-        net_device_mtu = mtu;
-        net_device_name = name;
-        net_device_next = None;
-        net_device_operstate = operstate;
-        net_device_perm_addr = perm_addr }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("net_device", "net_device_parser_49", match_err));;
-let net_device_parser_50 kernel_version bits = 
-  bitmatch bits with
-  | { name : 128 : offset(0), string;
-      dev_list'next : zero+32 : offset(384), bigendian;
-      dev_list'prev : zero+32 : offset(416), bigendian;
-      flags : zero+32 : offset(1472), bigendian;
-      operstate : zero+8 : offset(1552), bigendian;
-      mtu : zero+32 : offset(1568), bigendian;
-      perm_addr : 256 : offset(1664), string;
-      addr_len : zero+8 : offset(1920), bigendian;
-      ip_ptr : zero+32 : offset(2112), bigendian;
-      ip6_ptr : zero+32 : offset(2176), bigendian } ->
-      { net_device_addr_len = addr_len;
-        net_device_dev_list'next = Some dev_list'next;
-          net_device_dev_list'next_offset = 48;
-          net_device_dev_list'next_adjustment = 48;
-        net_device_dev_list'prev = Some dev_list'prev;
-        net_device_flags = flags;
-        net_device_ip6_ptr = ip6_ptr;
-        net_device_ip_ptr = ip_ptr;
-        net_device_mtu = mtu;
-        net_device_name = name;
-        net_device_next = None;
-        net_device_operstate = operstate;
-        net_device_perm_addr = perm_addr }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("net_device", "net_device_parser_50", match_err));;
-let net_device_parser_51 kernel_version bits = 
-  bitmatch bits with
-  | { name : 128 : offset(0), string;
-      dev_list'next : zero+64 : offset(576), littleendian;
-      dev_list'prev : zero+64 : offset(640), littleendian;
-      flags : zero+32 : offset(2880), littleendian;
-      operstate : zero+8 : offset(2960), littleendian;
-      mtu : zero+32 : offset(2976), littleendian;
-      perm_addr : 256 : offset(3136), string;
-      addr_len : zero+8 : offset(3392), littleendian;
-      ip_ptr : zero+64 : offset(3840), littleendian;
-      ip6_ptr : zero+64 : offset(3968), littleendian } ->
-      { net_device_addr_len = addr_len;
-        net_device_dev_list'next = Some dev_list'next;
-          net_device_dev_list'next_offset = 72;
-          net_device_dev_list'next_adjustment = 72;
-        net_device_dev_list'prev = Some dev_list'prev;
-        net_device_flags = flags;
-        net_device_ip6_ptr = ip6_ptr;
-        net_device_ip_ptr = ip_ptr;
-        net_device_mtu = mtu;
-        net_device_name = name;
-        net_device_next = None;
-        net_device_operstate = operstate;
-        net_device_perm_addr = perm_addr }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("net_device", "net_device_parser_51", match_err));;
-let net_device_parser_52 kernel_version bits = 
-  bitmatch bits with
-  | { name : 128 : offset(0), string;
-      next : zero+64 : offset(576), littleendian;
-      flags : zero+32 : offset(1152), littleendian;
-      operstate : zero+8 : offset(1232), littleendian;
-      mtu : zero+32 : offset(1248), littleendian;
-      perm_addr : 256 : offset(1408), string;
-      addr_len : zero+8 : offset(1664), littleendian;
-      ip_ptr : zero+64 : offset(1984), littleendian;
-      ip6_ptr : zero+64 : offset(2112), littleendian } ->
-      { net_device_addr_len = addr_len;
-        net_device_dev_list'next = None;
-          net_device_dev_list'next_offset = -1;
-          net_device_dev_list'next_adjustment = -1;
-        net_device_dev_list'prev = None;
-        net_device_flags = flags;
-        net_device_ip6_ptr = ip6_ptr;
-        net_device_ip_ptr = ip_ptr;
-        net_device_mtu = mtu;
-        net_device_name = name;
-        net_device_next = Some next;
-        net_device_operstate = operstate;
-        net_device_perm_addr = perm_addr }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("net_device", "net_device_parser_52", match_err));;
-let net_device_parser_53 kernel_version bits = 
-  bitmatch bits with
-  | { name : 128 : offset(0), string;
-      dev_list'next : zero+32 : offset(384), bigendian;
-      dev_list'prev : zero+32 : offset(416), bigendian;
-      flags : zero+32 : offset(1536), bigendian;
-      operstate : zero+8 : offset(1616), bigendian;
-      mtu : zero+32 : offset(1632), bigendian;
-      perm_addr : 256 : offset(1760), string;
-      addr_len : zero+8 : offset(2016), bigendian;
-      ip_ptr : zero+32 : offset(2432), bigendian;
-      ip6_ptr : zero+32 : offset(2496), bigendian } ->
-      { net_device_addr_len = addr_len;
-        net_device_dev_list'next = Some dev_list'next;
-          net_device_dev_list'next_offset = 48;
-          net_device_dev_list'next_adjustment = 48;
-        net_device_dev_list'prev = Some dev_list'prev;
-        net_device_flags = flags;
-        net_device_ip6_ptr = ip6_ptr;
-        net_device_ip_ptr = ip_ptr;
-        net_device_mtu = mtu;
-        net_device_name = name;
-        net_device_next = None;
-        net_device_operstate = operstate;
-        net_device_perm_addr = perm_addr }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("net_device", "net_device_parser_53", match_err));;
-let net_device_parser_54 kernel_version bits = 
-  bitmatch bits with
-  | { name : 128 : offset(0), string;
-      next : zero+64 : offset(576), bigendian;
-      flags : zero+32 : offset(1152), bigendian;
-      operstate : zero+8 : offset(1232), bigendian;
-      mtu : zero+32 : offset(1248), bigendian;
-      perm_addr : 256 : offset(1408), string;
-      addr_len : zero+8 : offset(1664), bigendian;
-      ip_ptr : zero+64 : offset(1984), bigendian;
-      ip6_ptr : zero+64 : offset(2112), bigendian } ->
-      { net_device_addr_len = addr_len;
-        net_device_dev_list'next = None;
-          net_device_dev_list'next_offset = -1;
-          net_device_dev_list'next_adjustment = -1;
-        net_device_dev_list'prev = None;
-        net_device_flags = flags;
-        net_device_ip6_ptr = ip6_ptr;
-        net_device_ip_ptr = ip_ptr;
-        net_device_mtu = mtu;
-        net_device_name = name;
-        net_device_next = Some next;
-        net_device_operstate = operstate;
-        net_device_perm_addr = perm_addr }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("net_device", "net_device_parser_54", match_err));;
-let net_device_parser_55 kernel_version bits = 
-  bitmatch bits with
-  | { name : 128 : offset(0), string;
-      dev_list'next : zero+32 : offset(384), littleendian;
-      dev_list'prev : zero+32 : offset(416), littleendian;
-      flags : zero+32 : offset(1568), littleendian;
-      operstate : zero+8 : offset(1648), littleendian;
-      mtu : zero+32 : offset(1664), littleendian;
-      perm_addr : 256 : offset(1760), string;
-      addr_len : zero+8 : offset(2016), littleendian;
-      ip_ptr : zero+32 : offset(2304), littleendian;
-      ip6_ptr : zero+32 : offset(2368), littleendian } ->
-      { net_device_addr_len = addr_len;
-        net_device_dev_list'next = Some dev_list'next;
-          net_device_dev_list'next_offset = 48;
-          net_device_dev_list'next_adjustment = 48;
-        net_device_dev_list'prev = Some dev_list'prev;
-        net_device_flags = flags;
-        net_device_ip6_ptr = ip6_ptr;
-        net_device_ip_ptr = ip_ptr;
-        net_device_mtu = mtu;
-        net_device_name = name;
-        net_device_next = None;
-        net_device_operstate = operstate;
-        net_device_perm_addr = perm_addr }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("net_device", "net_device_parser_55", match_err));;
-let net_device_parser_56 kernel_version bits = 
-  bitmatch bits with
-  | { name : 128 : offset(0), string;
-      next : zero+64 : offset(576), littleendian;
-      flags : zero+32 : offset(1216), littleendian;
-      operstate : zero+8 : offset(1296), littleendian;
-      mtu : zero+32 : offset(1312), littleendian;
-      perm_addr : 256 : offset(1472), string;
-      addr_len : zero+8 : offset(1728), littleendian;
-      ip_ptr : zero+64 : offset(2048), littleendian;
-      ip6_ptr : zero+64 : offset(2176), littleendian } ->
-      { net_device_addr_len = addr_len;
-        net_device_dev_list'next = None;
-          net_device_dev_list'next_offset = -1;
-          net_device_dev_list'next_adjustment = -1;
-        net_device_dev_list'prev = None;
-        net_device_flags = flags;
-        net_device_ip6_ptr = ip6_ptr;
-        net_device_ip_ptr = ip_ptr;
-        net_device_mtu = mtu;
-        net_device_name = name;
-        net_device_next = Some next;
-        net_device_operstate = operstate;
-        net_device_perm_addr = perm_addr }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("net_device", "net_device_parser_56", match_err));;
-let net_device_parser_57 kernel_version bits = 
-  bitmatch bits with
-  | { name : 128 : offset(0), string;
-      dev_list'next : zero+64 : offset(576), littleendian;
-      dev_list'prev : zero+64 : offset(640), littleendian;
-      flags : zero+32 : offset(2688), littleendian;
-      operstate : zero+8 : offset(2768), littleendian;
-      mtu : zero+32 : offset(2784), littleendian;
-      perm_addr : 256 : offset(2944), string;
-      addr_len : zero+8 : offset(3200), littleendian;
-      ip_ptr : zero+64 : offset(3520), littleendian;
-      ip6_ptr : zero+64 : offset(3648), littleendian } ->
-      { net_device_addr_len = addr_len;
-        net_device_dev_list'next = Some dev_list'next;
-          net_device_dev_list'next_offset = 72;
-          net_device_dev_list'next_adjustment = 72;
-        net_device_dev_list'prev = Some dev_list'prev;
-        net_device_flags = flags;
-        net_device_ip6_ptr = ip6_ptr;
-        net_device_ip_ptr = ip_ptr;
-        net_device_mtu = mtu;
-        net_device_name = name;
-        net_device_next = None;
-        net_device_operstate = operstate;
-        net_device_perm_addr = perm_addr }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("net_device", "net_device_parser_57", match_err));;
-let net_device_parser_58 kernel_version bits = 
-  bitmatch bits with
-  | { name : 128 : offset(0), string;
-      dev_list'next : zero+64 : offset(576), bigendian;
-      dev_list'prev : zero+64 : offset(640), bigendian;
-      flags : zero+32 : offset(2688), bigendian;
-      operstate : zero+8 : offset(2768), bigendian;
-      mtu : zero+32 : offset(2784), bigendian;
-      perm_addr : 256 : offset(2944), string;
-      addr_len : zero+8 : offset(3200), bigendian;
-      ip_ptr : zero+64 : offset(3520), bigendian;
-      ip6_ptr : zero+64 : offset(3648), bigendian } ->
-      { net_device_addr_len = addr_len;
-        net_device_dev_list'next = Some dev_list'next;
-          net_device_dev_list'next_offset = 72;
-          net_device_dev_list'next_adjustment = 72;
-        net_device_dev_list'prev = Some dev_list'prev;
-        net_device_flags = flags;
-        net_device_ip6_ptr = ip6_ptr;
-        net_device_ip_ptr = ip_ptr;
-        net_device_mtu = mtu;
-        net_device_name = name;
-        net_device_next = None;
-        net_device_operstate = operstate;
-        net_device_perm_addr = perm_addr }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("net_device", "net_device_parser_58", match_err));;
-let net_device_parser_59 kernel_version bits = 
-  bitmatch bits with
-  | { name : 128 : offset(0), string;
-      dev_list'next : zero+32 : offset(384), littleendian;
-      dev_list'prev : zero+32 : offset(416), littleendian;
-      flags : zero+32 : offset(1568), littleendian;
-      operstate : zero+8 : offset(1648), littleendian;
-      mtu : zero+32 : offset(1664), littleendian;
-      perm_addr : 256 : offset(1792), string;
-      addr_len : zero+8 : offset(2048), littleendian;
-      ip_ptr : zero+32 : offset(2336), littleendian;
-      ip6_ptr : zero+32 : offset(2400), littleendian } ->
-      { net_device_addr_len = addr_len;
-        net_device_dev_list'next = Some dev_list'next;
-          net_device_dev_list'next_offset = 48;
-          net_device_dev_list'next_adjustment = 48;
-        net_device_dev_list'prev = Some dev_list'prev;
-        net_device_flags = flags;
-        net_device_ip6_ptr = ip6_ptr;
-        net_device_ip_ptr = ip_ptr;
-        net_device_mtu = mtu;
-        net_device_name = name;
-        net_device_next = None;
-        net_device_operstate = operstate;
-        net_device_perm_addr = perm_addr }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("net_device", "net_device_parser_59", match_err));;
-let net_device_parser_60 kernel_version bits = 
-  bitmatch bits with
-  | { name : 128 : offset(0), string;
-      dev_list'next : zero+32 : offset(384), bigendian;
-      dev_list'prev : zero+32 : offset(416), bigendian;
-      flags : zero+32 : offset(1568), bigendian;
-      operstate : zero+8 : offset(1648), bigendian;
-      mtu : zero+32 : offset(1664), bigendian;
-      perm_addr : 256 : offset(1760), string;
-      addr_len : zero+8 : offset(2016), bigendian;
-      ip_ptr : zero+32 : offset(2304), bigendian;
-      ip6_ptr : zero+32 : offset(2368), bigendian } ->
-      { net_device_addr_len = addr_len;
-        net_device_dev_list'next = Some dev_list'next;
-          net_device_dev_list'next_offset = 48;
-          net_device_dev_list'next_adjustment = 48;
-        net_device_dev_list'prev = Some dev_list'prev;
-        net_device_flags = flags;
-        net_device_ip6_ptr = ip6_ptr;
-        net_device_ip_ptr = ip_ptr;
-        net_device_mtu = mtu;
-        net_device_name = name;
-        net_device_next = None;
-        net_device_operstate = operstate;
-        net_device_perm_addr = perm_addr }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("net_device", "net_device_parser_60", match_err));;
-let net_device_parser_61 kernel_version bits = 
-  bitmatch bits with
-  | { name : 128 : offset(0), string;
-      dev_list'next : zero+32 : offset(384), littleendian;
-      dev_list'prev : zero+32 : offset(416), littleendian;
-      flags : zero+32 : offset(1472), littleendian;
-      operstate : zero+8 : offset(1552), littleendian;
-      mtu : zero+32 : offset(1568), littleendian;
-      perm_addr : 256 : offset(1664), string;
-      addr_len : zero+8 : offset(1920), littleendian;
-      ip_ptr : zero+32 : offset(2208), littleendian;
-      ip6_ptr : zero+32 : offset(2272), littleendian } ->
-      { net_device_addr_len = addr_len;
-        net_device_dev_list'next = Some dev_list'next;
-          net_device_dev_list'next_offset = 48;
-          net_device_dev_list'next_adjustment = 48;
-        net_device_dev_list'prev = Some dev_list'prev;
-        net_device_flags = flags;
-        net_device_ip6_ptr = ip6_ptr;
-        net_device_ip_ptr = ip_ptr;
-        net_device_mtu = mtu;
-        net_device_name = name;
-        net_device_next = None;
-        net_device_operstate = operstate;
-        net_device_perm_addr = perm_addr }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("net_device", "net_device_parser_61", match_err));;
-let net_device_parser_62 kernel_version bits = 
-  bitmatch bits with
-  | { name : 128 : offset(0), string;
-      dev_list'next : zero+32 : offset(384), littleendian;
-      dev_list'prev : zero+32 : offset(416), littleendian;
-      flags : zero+32 : offset(1536), littleendian;
-      operstate : zero+8 : offset(1616), littleendian;
-      mtu : zero+32 : offset(1632), littleendian;
-      perm_addr : 256 : offset(1760), string;
-      addr_len : zero+8 : offset(2016), littleendian;
-      ip_ptr : zero+32 : offset(2560), littleendian;
-      ip6_ptr : zero+32 : offset(2624), littleendian } ->
-      { net_device_addr_len = addr_len;
-        net_device_dev_list'next = Some dev_list'next;
-          net_device_dev_list'next_offset = 48;
-          net_device_dev_list'next_adjustment = 48;
-        net_device_dev_list'prev = Some dev_list'prev;
-        net_device_flags = flags;
-        net_device_ip6_ptr = ip6_ptr;
-        net_device_ip_ptr = ip_ptr;
-        net_device_mtu = mtu;
-        net_device_name = name;
-        net_device_next = None;
-        net_device_operstate = operstate;
-        net_device_perm_addr = perm_addr }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("net_device", "net_device_parser_62", match_err));;
-let net_device_parser_63 kernel_version bits = 
-  bitmatch bits with
-  | { name : 128 : offset(0), string;
-      dev_list'next : zero+32 : offset(384), bigendian;
-      dev_list'prev : zero+32 : offset(416), bigendian;
-      flags : zero+32 : offset(1472), bigendian;
-      operstate : zero+8 : offset(1552), bigendian;
-      mtu : zero+32 : offset(1568), bigendian;
-      perm_addr : 256 : offset(1664), string;
-      addr_len : zero+8 : offset(1920), bigendian;
-      ip_ptr : zero+32 : offset(2208), bigendian;
-      ip6_ptr : zero+32 : offset(2272), bigendian } ->
-      { net_device_addr_len = addr_len;
-        net_device_dev_list'next = Some dev_list'next;
-          net_device_dev_list'next_offset = 48;
-          net_device_dev_list'next_adjustment = 48;
-        net_device_dev_list'prev = Some dev_list'prev;
-        net_device_flags = flags;
-        net_device_ip6_ptr = ip6_ptr;
-        net_device_ip_ptr = ip_ptr;
-        net_device_mtu = mtu;
-        net_device_name = name;
-        net_device_next = None;
-        net_device_operstate = operstate;
-        net_device_perm_addr = perm_addr }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("net_device", "net_device_parser_63", match_err));;
-let net_device_parser_64 kernel_version bits = 
+      raise (ParseError ("task_struct", "task_struct_parser_9", match_err));;
+let net_device_parser_10 kernel_version bits = 
   bitmatch bits with
   | { name : 128 : offset(0), string;
       dev_list'next : zero+64 : offset(576), littleendian;
       dev_list'prev : zero+64 : offset(640), littleendian;
-      flags : zero+32 : offset(2816), littleendian;
-      operstate : zero+8 : offset(2896), littleendian;
-      mtu : zero+32 : offset(2912), littleendian;
-      perm_addr : 256 : offset(3072), string;
-      addr_len : zero+8 : offset(3328), littleendian;
-      ip_ptr : zero+64 : offset(4224), littleendian;
-      ip6_ptr : zero+64 : offset(4352), littleendian } ->
-      { net_device_addr_len = addr_len;
-        net_device_dev_list'next = Some dev_list'next;
-          net_device_dev_list'next_offset = 72;
-          net_device_dev_list'next_adjustment = 72;
-        net_device_dev_list'prev = Some dev_list'prev;
-        net_device_flags = flags;
-        net_device_ip6_ptr = ip6_ptr;
-        net_device_ip_ptr = ip_ptr;
-        net_device_mtu = mtu;
-        net_device_name = name;
-        net_device_next = None;
-        net_device_operstate = operstate;
-        net_device_perm_addr = perm_addr }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("net_device", "net_device_parser_64", match_err));;
-let net_device_parser_65 kernel_version bits = 
-  bitmatch bits with
-  | { name : 128 : offset(0), string;
-      dev_list'next : zero+32 : offset(384), littleendian;
-      dev_list'prev : zero+32 : offset(416), littleendian;
-      flags : zero+32 : offset(1472), littleendian;
-      operstate : zero+8 : offset(1552), littleendian;
-      mtu : zero+32 : offset(1568), littleendian;
-      perm_addr : 256 : offset(1664), string;
-      addr_len : zero+8 : offset(1920), littleendian;
-      ip_ptr : zero+32 : offset(2112), littleendian;
-      ip6_ptr : zero+32 : offset(2176), littleendian } ->
-      { net_device_addr_len = addr_len;
-        net_device_dev_list'next = Some dev_list'next;
-          net_device_dev_list'next_offset = 48;
-          net_device_dev_list'next_adjustment = 48;
-        net_device_dev_list'prev = Some dev_list'prev;
-        net_device_flags = flags;
-        net_device_ip6_ptr = ip6_ptr;
-        net_device_ip_ptr = ip_ptr;
-        net_device_mtu = mtu;
-        net_device_name = name;
-        net_device_next = None;
-        net_device_operstate = operstate;
-        net_device_perm_addr = perm_addr }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("net_device", "net_device_parser_65", match_err));;
-let net_device_parser_66 kernel_version bits = 
-  bitmatch bits with
-  | { name : 128 : offset(0), string;
-      dev_list'next : zero+64 : offset(576), bigendian;
-      dev_list'prev : zero+64 : offset(640), bigendian;
-      flags : zero+32 : offset(2688), bigendian;
-      operstate : zero+8 : offset(2768), bigendian;
-      mtu : zero+32 : offset(2784), bigendian;
-      perm_addr : 256 : offset(2944), string;
-      addr_len : zero+8 : offset(3200), bigendian;
-      ip_ptr : zero+64 : offset(3648), bigendian;
-      ip6_ptr : zero+64 : offset(3776), bigendian } ->
+      flags : zero+32 : offset(2880), littleendian;
+      operstate : zero+8 : offset(2960), littleendian;
+      mtu : zero+32 : offset(2976), littleendian;
+      perm_addr : 256 : offset(3136), string;
+      addr_len : zero+8 : offset(3392), littleendian;
+      ip_ptr : zero+64 : offset(3840), littleendian;
+      ip6_ptr : zero+64 : offset(3968), littleendian } ->
       { net_device_addr_len = addr_len;
         net_device_dev_list'next = Some dev_list'next;
           net_device_dev_list'next_offset = 72;
@@ -2762,19 +362,19 @@ let net_device_parser_66 kernel_version bits =
         net_device_operstate = operstate;
         net_device_perm_addr = perm_addr }
   | { _ } ->
-      raise (Virt_mem_types.ParseError ("net_device", "net_device_parser_66", match_err));;
-let net_device_parser_67 kernel_version bits = 
+      raise (ParseError ("net_device", "net_device_parser_10", match_err));;
+let net_device_parser_11 kernel_version bits = 
   bitmatch bits with
   | { name : 128 : offset(0), string;
       dev_list'next : zero+64 : offset(576), bigendian;
       dev_list'prev : zero+64 : offset(640), bigendian;
-      flags : zero+32 : offset(2816), bigendian;
-      operstate : zero+8 : offset(2896), bigendian;
-      mtu : zero+32 : offset(2912), bigendian;
-      perm_addr : 256 : offset(3072), string;
-      addr_len : zero+8 : offset(3328), bigendian;
-      ip_ptr : zero+64 : offset(4224), bigendian;
-      ip6_ptr : zero+64 : offset(4352), bigendian } ->
+      flags : zero+32 : offset(2880), bigendian;
+      operstate : zero+8 : offset(2960), bigendian;
+      mtu : zero+32 : offset(2976), bigendian;
+      perm_addr : 256 : offset(3136), string;
+      addr_len : zero+8 : offset(3392), bigendian;
+      ip_ptr : zero+64 : offset(3840), bigendian;
+      ip6_ptr : zero+64 : offset(3968), bigendian } ->
       { net_device_addr_len = addr_len;
         net_device_dev_list'next = Some dev_list'next;
           net_device_dev_list'next_offset = 72;
@@ -2789,34 +389,35 @@ let net_device_parser_67 kernel_version bits =
         net_device_operstate = operstate;
         net_device_perm_addr = perm_addr }
   | { _ } ->
-      raise (Virt_mem_types.ParseError ("net_device", "net_device_parser_67", match_err));;
-let net_device_parser_68 kernel_version bits = 
+      raise (ParseError ("net_device", "net_device_parser_11", match_err));;
+let net_device_parser_12 kernel_version bits = 
   bitmatch bits with
   | { name : 128 : offset(0), string;
-      next : zero+32 : offset(384), bigendian;
-      flags : zero+32 : offset(704), bigendian;
-      operstate : zero+8 : offset(784), bigendian;
-      mtu : zero+32 : offset(800), bigendian;
-      perm_addr : 256 : offset(896), string;
-      addr_len : zero+8 : offset(1152), bigendian;
-      ip_ptr : zero+32 : offset(1344), bigendian;
-      ip6_ptr : zero+32 : offset(1408), bigendian } ->
+      dev_list'next : zero+32 : offset(384), littleendian;
+      dev_list'prev : zero+32 : offset(416), littleendian;
+      flags : zero+32 : offset(1568), littleendian;
+      operstate : zero+8 : offset(1648), littleendian;
+      mtu : zero+32 : offset(1664), littleendian;
+      perm_addr : 256 : offset(1760), string;
+      addr_len : zero+8 : offset(2016), littleendian;
+      ip_ptr : zero+32 : offset(2304), littleendian;
+      ip6_ptr : zero+32 : offset(2368), littleendian } ->
       { net_device_addr_len = addr_len;
-        net_device_dev_list'next = None;
-          net_device_dev_list'next_offset = -1;
-          net_device_dev_list'next_adjustment = -1;
-        net_device_dev_list'prev = None;
+        net_device_dev_list'next = Some dev_list'next;
+          net_device_dev_list'next_offset = 48;
+          net_device_dev_list'next_adjustment = 48;
+        net_device_dev_list'prev = Some dev_list'prev;
         net_device_flags = flags;
         net_device_ip6_ptr = ip6_ptr;
         net_device_ip_ptr = ip_ptr;
         net_device_mtu = mtu;
         net_device_name = name;
-        net_device_next = Some next;
+        net_device_next = None;
         net_device_operstate = operstate;
         net_device_perm_addr = perm_addr }
   | { _ } ->
-      raise (Virt_mem_types.ParseError ("net_device", "net_device_parser_68", match_err));;
-let net_device_parser_69 kernel_version bits = 
+      raise (ParseError ("net_device", "net_device_parser_12", match_err));;
+let net_device_parser_13 kernel_version bits = 
   bitmatch bits with
   | { name : 128 : offset(0), string;
       dev_list'next : zero+32 : offset(384), bigendian;
@@ -2824,10 +425,10 @@ let net_device_parser_69 kernel_version bits =
       flags : zero+32 : offset(1568), bigendian;
       operstate : zero+8 : offset(1648), bigendian;
       mtu : zero+32 : offset(1664), bigendian;
-      perm_addr : 256 : offset(1792), string;
-      addr_len : zero+8 : offset(2048), bigendian;
-      ip_ptr : zero+32 : offset(2336), bigendian;
-      ip6_ptr : zero+32 : offset(2400), bigendian } ->
+      perm_addr : 256 : offset(1760), string;
+      addr_len : zero+8 : offset(2016), bigendian;
+      ip_ptr : zero+32 : offset(2304), bigendian;
+      ip6_ptr : zero+32 : offset(2368), bigendian } ->
       { net_device_addr_len = addr_len;
         net_device_dev_list'next = Some dev_list'next;
           net_device_dev_list'next_offset = 48;
@@ -2842,18 +443,18 @@ let net_device_parser_69 kernel_version bits =
         net_device_operstate = operstate;
         net_device_perm_addr = perm_addr }
   | { _ } ->
-      raise (Virt_mem_types.ParseError ("net_device", "net_device_parser_69", match_err));;
-let net_device_parser_70 kernel_version bits = 
+      raise (ParseError ("net_device", "net_device_parser_13", match_err));;
+let net_device_parser_14 kernel_version bits = 
   bitmatch bits with
   | { name : 128 : offset(0), string;
-      next : zero+32 : offset(384), littleendian;
-      flags : zero+32 : offset(736), littleendian;
-      operstate : zero+8 : offset(816), littleendian;
-      mtu : zero+32 : offset(832), littleendian;
-      perm_addr : 256 : offset(928), string;
-      addr_len : zero+8 : offset(1184), littleendian;
-      ip_ptr : zero+32 : offset(1376), littleendian;
-      ip6_ptr : zero+32 : offset(1440), littleendian } ->
+      next : zero+32 : offset(384), bigendian;
+      flags : zero+32 : offset(704), bigendian;
+      operstate : zero+8 : offset(784), bigendian;
+      mtu : zero+32 : offset(800), bigendian;
+      perm_addr : 256 : offset(896), string;
+      addr_len : zero+8 : offset(1152), bigendian;
+      ip_ptr : zero+32 : offset(1344), bigendian;
+      ip6_ptr : zero+32 : offset(1408), bigendian } ->
       { net_device_addr_len = addr_len;
         net_device_dev_list'next = None;
           net_device_dev_list'next_offset = -1;
@@ -2868,45 +469,44 @@ let net_device_parser_70 kernel_version bits =
         net_device_operstate = operstate;
         net_device_perm_addr = perm_addr }
   | { _ } ->
-      raise (Virt_mem_types.ParseError ("net_device", "net_device_parser_70", match_err));;
-let net_device_parser_71 kernel_version bits = 
+      raise (ParseError ("net_device", "net_device_parser_14", match_err));;
+let net_device_parser_15 kernel_version bits = 
   bitmatch bits with
   | { name : 128 : offset(0), string;
-      dev_list'next : zero+64 : offset(576), littleendian;
-      dev_list'prev : zero+64 : offset(640), littleendian;
-      flags : zero+32 : offset(2688), littleendian;
-      operstate : zero+8 : offset(2768), littleendian;
-      mtu : zero+32 : offset(2784), littleendian;
-      perm_addr : 256 : offset(2944), string;
-      addr_len : zero+8 : offset(3200), littleendian;
-      ip_ptr : zero+64 : offset(3648), littleendian;
-      ip6_ptr : zero+64 : offset(3776), littleendian } ->
+      next : zero+64 : offset(576), littleendian;
+      flags : zero+32 : offset(1152), littleendian;
+      operstate : zero+8 : offset(1232), littleendian;
+      mtu : zero+32 : offset(1248), littleendian;
+      perm_addr : 256 : offset(1408), string;
+      addr_len : zero+8 : offset(1664), littleendian;
+      ip_ptr : zero+64 : offset(1984), littleendian;
+      ip6_ptr : zero+64 : offset(2112), littleendian } ->
       { net_device_addr_len = addr_len;
-        net_device_dev_list'next = Some dev_list'next;
-          net_device_dev_list'next_offset = 72;
-          net_device_dev_list'next_adjustment = 72;
-        net_device_dev_list'prev = Some dev_list'prev;
+        net_device_dev_list'next = None;
+          net_device_dev_list'next_offset = -1;
+          net_device_dev_list'next_adjustment = -1;
+        net_device_dev_list'prev = None;
         net_device_flags = flags;
         net_device_ip6_ptr = ip6_ptr;
         net_device_ip_ptr = ip_ptr;
         net_device_mtu = mtu;
         net_device_name = name;
-        net_device_next = None;
+        net_device_next = Some next;
         net_device_operstate = operstate;
         net_device_perm_addr = perm_addr }
   | { _ } ->
-      raise (Virt_mem_types.ParseError ("net_device", "net_device_parser_71", match_err));;
-let net_device_parser_72 kernel_version bits = 
+      raise (ParseError ("net_device", "net_device_parser_15", match_err));;
+let net_device_parser_16 kernel_version bits = 
   bitmatch bits with
   | { name : 128 : offset(0), string;
-      next : zero+32 : offset(384), bigendian;
-      flags : zero+32 : offset(736), bigendian;
-      operstate : zero+8 : offset(816), bigendian;
-      mtu : zero+32 : offset(832), bigendian;
-      perm_addr : 256 : offset(928), string;
-      addr_len : zero+8 : offset(1184), bigendian;
-      ip_ptr : zero+32 : offset(1376), bigendian;
-      ip6_ptr : zero+32 : offset(1440), bigendian } ->
+      next : zero+32 : offset(384), littleendian;
+      flags : zero+32 : offset(704), littleendian;
+      operstate : zero+8 : offset(784), littleendian;
+      mtu : zero+32 : offset(800), littleendian;
+      perm_addr : 256 : offset(896), string;
+      addr_len : zero+8 : offset(1152), littleendian;
+      ip_ptr : zero+32 : offset(1344), littleendian;
+      ip6_ptr : zero+32 : offset(1408), littleendian } ->
       { net_device_addr_len = addr_len;
         net_device_dev_list'next = None;
           net_device_dev_list'next_offset = -1;
@@ -2921,18 +521,18 @@ let net_device_parser_72 kernel_version bits =
         net_device_operstate = operstate;
         net_device_perm_addr = perm_addr }
   | { _ } ->
-      raise (Virt_mem_types.ParseError ("net_device", "net_device_parser_72", match_err));;
-let net_device_parser_73 kernel_version bits = 
+      raise (ParseError ("net_device", "net_device_parser_16", match_err));;
+let net_device_parser_17 kernel_version bits = 
   bitmatch bits with
   | { name : 128 : offset(0), string;
       next : zero+64 : offset(576), bigendian;
-      flags : zero+32 : offset(1216), bigendian;
-      operstate : zero+8 : offset(1296), bigendian;
-      mtu : zero+32 : offset(1312), bigendian;
-      perm_addr : 256 : offset(1472), string;
-      addr_len : zero+8 : offset(1728), bigendian;
-      ip_ptr : zero+64 : offset(2048), bigendian;
-      ip6_ptr : zero+64 : offset(2176), bigendian } ->
+      flags : zero+32 : offset(1152), bigendian;
+      operstate : zero+8 : offset(1232), bigendian;
+      mtu : zero+32 : offset(1248), bigendian;
+      perm_addr : 256 : offset(1408), string;
+      addr_len : zero+8 : offset(1664), bigendian;
+      ip_ptr : zero+64 : offset(1984), bigendian;
+      ip6_ptr : zero+64 : offset(2112), bigendian } ->
       { net_device_addr_len = addr_len;
         net_device_dev_list'next = None;
           net_device_dev_list'next_offset = -1;
@@ -2947,92 +547,8 @@ let net_device_parser_73 kernel_version bits =
         net_device_operstate = operstate;
         net_device_perm_addr = perm_addr }
   | { _ } ->
-      raise (Virt_mem_types.ParseError ("net_device", "net_device_parser_73", match_err));;
-let net_parser_82 kernel_version bits = 
-  bitmatch bits with
-  | { dev_base_head'next : zero+32 : offset(576), littleendian;
-      dev_base_head'prev : zero+32 : offset(608), littleendian } ->
-      { net_dev_base_head'next = dev_base_head'next;
-          net_dev_base_head'next_offset = 72;
-          net_dev_base_head'next_adjustment = offset_of_net_device_dev_list'next kernel_version;
-        net_dev_base_head'prev = dev_base_head'prev;
-          net_dev_base_head'prev_offset = 76;
-          net_dev_base_head'prev_adjustment = offset_of_net_device_dev_list'next kernel_version }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("net", "net_parser_82", match_err));;
-let net_parser_87 kernel_version bits = 
-  bitmatch bits with
-  | { dev_base_head'next : zero+64 : offset(960), littleendian;
-      dev_base_head'prev : zero+64 : offset(1024), littleendian } ->
-      { net_dev_base_head'next = dev_base_head'next;
-          net_dev_base_head'next_offset = 120;
-          net_dev_base_head'next_adjustment = offset_of_net_device_dev_list'next kernel_version;
-        net_dev_base_head'prev = dev_base_head'prev;
-          net_dev_base_head'prev_offset = 128;
-          net_dev_base_head'prev_adjustment = offset_of_net_device_dev_list'next kernel_version }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("net", "net_parser_87", match_err));;
-let net_parser_88 kernel_version bits = 
-  bitmatch bits with
-  | { dev_base_head'next : zero+64 : offset(1024), littleendian;
-      dev_base_head'prev : zero+64 : offset(1088), littleendian } ->
-      { net_dev_base_head'next = dev_base_head'next;
-          net_dev_base_head'next_offset = 128;
-          net_dev_base_head'next_adjustment = offset_of_net_device_dev_list'next kernel_version;
-        net_dev_base_head'prev = dev_base_head'prev;
-          net_dev_base_head'prev_offset = 136;
-          net_dev_base_head'prev_adjustment = offset_of_net_device_dev_list'next kernel_version }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("net", "net_parser_88", match_err));;
-let net_parser_83 kernel_version bits = 
-  bitmatch bits with
-  | { dev_base_head'next : zero+64 : offset(1152), littleendian;
-      dev_base_head'prev : zero+64 : offset(1216), littleendian } ->
-      { net_dev_base_head'next = dev_base_head'next;
-          net_dev_base_head'next_offset = 144;
-          net_dev_base_head'next_adjustment = offset_of_net_device_dev_list'next kernel_version;
-        net_dev_base_head'prev = dev_base_head'prev;
-          net_dev_base_head'prev_offset = 152;
-          net_dev_base_head'prev_adjustment = offset_of_net_device_dev_list'next kernel_version }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("net", "net_parser_83", match_err));;
-let net_parser_86 kernel_version bits = 
-  bitmatch bits with
-  | { dev_base_head'next : zero+64 : offset(1152), bigendian;
-      dev_base_head'prev : zero+64 : offset(1216), bigendian } ->
-      { net_dev_base_head'next = dev_base_head'next;
-          net_dev_base_head'next_offset = 144;
-          net_dev_base_head'next_adjustment = offset_of_net_device_dev_list'next kernel_version;
-        net_dev_base_head'prev = dev_base_head'prev;
-          net_dev_base_head'prev_offset = 152;
-          net_dev_base_head'prev_adjustment = offset_of_net_device_dev_list'next kernel_version }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("net", "net_parser_86", match_err));;
-let net_parser_74 kernel_version bits = 
-  bitmatch bits with
-  | { dev_base_head'next : zero+64 : offset(704), bigendian;
-      dev_base_head'prev : zero+64 : offset(768), bigendian } ->
-      { net_dev_base_head'next = dev_base_head'next;
-          net_dev_base_head'next_offset = 88;
-          net_dev_base_head'next_adjustment = offset_of_net_device_dev_list'next kernel_version;
-        net_dev_base_head'prev = dev_base_head'prev;
-          net_dev_base_head'prev_offset = 96;
-          net_dev_base_head'prev_adjustment = offset_of_net_device_dev_list'next kernel_version }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("net", "net_parser_74", match_err));;
-let net_parser_79 kernel_version bits = 
-  bitmatch bits with
-  | { dev_base_head'next : zero+32 : offset(384), littleendian;
-      dev_base_head'prev : zero+32 : offset(416), littleendian } ->
-      { net_dev_base_head'next = dev_base_head'next;
-          net_dev_base_head'next_offset = 48;
-          net_dev_base_head'next_adjustment = offset_of_net_device_dev_list'next kernel_version;
-        net_dev_base_head'prev = dev_base_head'prev;
-          net_dev_base_head'prev_offset = 52;
-          net_dev_base_head'prev_adjustment = offset_of_net_device_dev_list'next kernel_version }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("net", "net_parser_79", match_err));;
-let net_parser_80 kernel_version bits = 
+      raise (ParseError ("net_device", "net_device_parser_17", match_err));;
+let net_parser_20 kernel_version bits = 
   bitmatch bits with
   | { dev_base_head'next : zero+32 : offset(416), littleendian;
       dev_base_head'prev : zero+32 : offset(448), littleendian } ->
@@ -3043,20 +559,8 @@ let net_parser_80 kernel_version bits =
           net_dev_base_head'prev_offset = 56;
           net_dev_base_head'prev_adjustment = offset_of_net_device_dev_list'next kernel_version }
   | { _ } ->
-      raise (Virt_mem_types.ParseError ("net", "net_parser_80", match_err));;
-let net_parser_81 kernel_version bits = 
-  bitmatch bits with
-  | { dev_base_head'next : zero+32 : offset(384), bigendian;
-      dev_base_head'prev : zero+32 : offset(416), bigendian } ->
-      { net_dev_base_head'next = dev_base_head'next;
-          net_dev_base_head'next_offset = 48;
-          net_dev_base_head'next_adjustment = offset_of_net_device_dev_list'next kernel_version;
-        net_dev_base_head'prev = dev_base_head'prev;
-          net_dev_base_head'prev_offset = 52;
-          net_dev_base_head'prev_adjustment = offset_of_net_device_dev_list'next kernel_version }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("net", "net_parser_81", match_err));;
-let net_parser_85 kernel_version bits = 
+      raise (ParseError ("net", "net_parser_20", match_err));;
+let net_parser_21 kernel_version bits = 
   bitmatch bits with
   | { dev_base_head'next : zero+32 : offset(416), bigendian;
       dev_base_head'prev : zero+32 : offset(448), bigendian } ->
@@ -3067,8 +571,8 @@ let net_parser_85 kernel_version bits =
           net_dev_base_head'prev_offset = 56;
           net_dev_base_head'prev_adjustment = offset_of_net_device_dev_list'next kernel_version }
   | { _ } ->
-      raise (Virt_mem_types.ParseError ("net", "net_parser_85", match_err));;
-let net_parser_75 kernel_version bits = 
+      raise (ParseError ("net", "net_parser_21", match_err));;
+let net_parser_18 kernel_version bits = 
   bitmatch bits with
   | { dev_base_head'next : zero+64 : offset(768), littleendian;
       dev_base_head'prev : zero+64 : offset(832), littleendian } ->
@@ -3079,20 +583,8 @@ let net_parser_75 kernel_version bits =
           net_dev_base_head'prev_offset = 104;
           net_dev_base_head'prev_adjustment = offset_of_net_device_dev_list'next kernel_version }
   | { _ } ->
-      raise (Virt_mem_types.ParseError ("net", "net_parser_75", match_err));;
-let net_parser_76 kernel_version bits = 
-  bitmatch bits with
-  | { dev_base_head'next : zero+32 : offset(448), bigendian;
-      dev_base_head'prev : zero+32 : offset(480), bigendian } ->
-      { net_dev_base_head'next = dev_base_head'next;
-          net_dev_base_head'next_offset = 56;
-          net_dev_base_head'next_adjustment = offset_of_net_device_dev_list'next kernel_version;
-        net_dev_base_head'prev = dev_base_head'prev;
-          net_dev_base_head'prev_offset = 60;
-          net_dev_base_head'prev_adjustment = offset_of_net_device_dev_list'next kernel_version }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("net", "net_parser_76", match_err));;
-let net_parser_77 kernel_version bits = 
+      raise (ParseError ("net", "net_parser_18", match_err));;
+let net_parser_19 kernel_version bits = 
   bitmatch bits with
   | { dev_base_head'next : zero+64 : offset(768), bigendian;
       dev_base_head'prev : zero+64 : offset(832), bigendian } ->
@@ -3103,80 +595,56 @@ let net_parser_77 kernel_version bits =
           net_dev_base_head'prev_offset = 104;
           net_dev_base_head'prev_adjustment = offset_of_net_device_dev_list'next kernel_version }
   | { _ } ->
-      raise (Virt_mem_types.ParseError ("net", "net_parser_77", match_err));;
-let net_parser_78 kernel_version bits = 
-  bitmatch bits with
-  | { dev_base_head'next : zero+32 : offset(512), littleendian;
-      dev_base_head'prev : zero+32 : offset(544), littleendian } ->
-      { net_dev_base_head'next = dev_base_head'next;
-          net_dev_base_head'next_offset = 64;
-          net_dev_base_head'next_adjustment = offset_of_net_device_dev_list'next kernel_version;
-        net_dev_base_head'prev = dev_base_head'prev;
-          net_dev_base_head'prev_offset = 68;
-          net_dev_base_head'prev_adjustment = offset_of_net_device_dev_list'next kernel_version }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("net", "net_parser_78", match_err));;
-let net_parser_84 kernel_version bits = 
-  bitmatch bits with
-  | { dev_base_head'next : zero+32 : offset(544), littleendian;
-      dev_base_head'prev : zero+32 : offset(576), littleendian } ->
-      { net_dev_base_head'next = dev_base_head'next;
-          net_dev_base_head'next_offset = 68;
-          net_dev_base_head'next_adjustment = offset_of_net_device_dev_list'next kernel_version;
-        net_dev_base_head'prev = dev_base_head'prev;
-          net_dev_base_head'prev_offset = 72;
-          net_dev_base_head'prev_adjustment = offset_of_net_device_dev_list'next kernel_version }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("net", "net_parser_84", match_err));;
-let in_device_parser_89 kernel_version bits = 
+      raise (ParseError ("net", "net_parser_19", match_err));;
+let in_device_parser_24 kernel_version bits = 
   bitmatch bits with
   | { ifa_list : zero+32 : offset(96), littleendian } ->
       { in_device_ifa_list = ifa_list }
   | { _ } ->
-      raise (Virt_mem_types.ParseError ("in_device", "in_device_parser_89", match_err));;
-let in_device_parser_91 kernel_version bits = 
+      raise (ParseError ("in_device", "in_device_parser_24", match_err));;
+let in_device_parser_25 kernel_version bits = 
   bitmatch bits with
   | { ifa_list : zero+32 : offset(96), bigendian } ->
       { in_device_ifa_list = ifa_list }
   | { _ } ->
-      raise (Virt_mem_types.ParseError ("in_device", "in_device_parser_91", match_err));;
-let in_device_parser_92 kernel_version bits = 
+      raise (ParseError ("in_device", "in_device_parser_25", match_err));;
+let in_device_parser_22 kernel_version bits = 
   bitmatch bits with
   | { ifa_list : zero+64 : offset(128), littleendian } ->
       { in_device_ifa_list = ifa_list }
   | { _ } ->
-      raise (Virt_mem_types.ParseError ("in_device", "in_device_parser_92", match_err));;
-let in_device_parser_90 kernel_version bits = 
+      raise (ParseError ("in_device", "in_device_parser_22", match_err));;
+let in_device_parser_23 kernel_version bits = 
   bitmatch bits with
   | { ifa_list : zero+64 : offset(128), bigendian } ->
       { in_device_ifa_list = ifa_list }
   | { _ } ->
-      raise (Virt_mem_types.ParseError ("in_device", "in_device_parser_90", match_err));;
-let inet6_dev_parser_93 kernel_version bits = 
+      raise (ParseError ("in_device", "in_device_parser_23", match_err));;
+let inet6_dev_parser_28 kernel_version bits = 
   bitmatch bits with
   | { addr_list : zero+32 : offset(32), littleendian } ->
       { inet6_dev_addr_list = addr_list }
   | { _ } ->
-      raise (Virt_mem_types.ParseError ("inet6_dev", "inet6_dev_parser_93", match_err));;
-let inet6_dev_parser_95 kernel_version bits = 
+      raise (ParseError ("inet6_dev", "inet6_dev_parser_28", match_err));;
+let inet6_dev_parser_29 kernel_version bits = 
   bitmatch bits with
   | { addr_list : zero+32 : offset(32), bigendian } ->
       { inet6_dev_addr_list = addr_list }
   | { _ } ->
-      raise (Virt_mem_types.ParseError ("inet6_dev", "inet6_dev_parser_95", match_err));;
-let inet6_dev_parser_96 kernel_version bits = 
+      raise (ParseError ("inet6_dev", "inet6_dev_parser_29", match_err));;
+let inet6_dev_parser_26 kernel_version bits = 
   bitmatch bits with
   | { addr_list : zero+64 : offset(64), littleendian } ->
       { inet6_dev_addr_list = addr_list }
   | { _ } ->
-      raise (Virt_mem_types.ParseError ("inet6_dev", "inet6_dev_parser_96", match_err));;
-let inet6_dev_parser_94 kernel_version bits = 
+      raise (ParseError ("inet6_dev", "inet6_dev_parser_26", match_err));;
+let inet6_dev_parser_27 kernel_version bits = 
   bitmatch bits with
   | { addr_list : zero+64 : offset(64), bigendian } ->
       { inet6_dev_addr_list = addr_list }
   | { _ } ->
-      raise (Virt_mem_types.ParseError ("inet6_dev", "inet6_dev_parser_94", match_err));;
-let in_ifaddr_parser_97 kernel_version bits = 
+      raise (ParseError ("inet6_dev", "inet6_dev_parser_27", match_err));;
+let in_ifaddr_parser_32 kernel_version bits = 
   bitmatch bits with
   | { ifa_next : zero+32 : offset(0), littleendian;
       ifa_local : zero+32 : offset(128), littleendian;
@@ -3189,8 +657,8 @@ let in_ifaddr_parser_97 kernel_version bits =
         in_ifaddr_ifa_mask = ifa_mask;
         in_ifaddr_ifa_next = ifa_next }
   | { _ } ->
-      raise (Virt_mem_types.ParseError ("in_ifaddr", "in_ifaddr_parser_97", match_err));;
-let in_ifaddr_parser_99 kernel_version bits = 
+      raise (ParseError ("in_ifaddr", "in_ifaddr_parser_32", match_err));;
+let in_ifaddr_parser_33 kernel_version bits = 
   bitmatch bits with
   | { ifa_next : zero+32 : offset(0), bigendian;
       ifa_local : zero+32 : offset(128), bigendian;
@@ -3203,22 +671,8 @@ let in_ifaddr_parser_99 kernel_version bits =
         in_ifaddr_ifa_mask = ifa_mask;
         in_ifaddr_ifa_next = ifa_next }
   | { _ } ->
-      raise (Virt_mem_types.ParseError ("in_ifaddr", "in_ifaddr_parser_99", match_err));;
-let in_ifaddr_parser_98 kernel_version bits = 
-  bitmatch bits with
-  | { ifa_next : zero+64 : offset(0), bigendian;
-      ifa_local : zero+32 : offset(256), bigendian;
-      ifa_address : zero+32 : offset(288), bigendian;
-      ifa_mask : zero+32 : offset(320), bigendian;
-      ifa_broadcast : zero+32 : offset(352), bigendian } ->
-      { in_ifaddr_ifa_address = ifa_address;
-        in_ifaddr_ifa_broadcast = ifa_broadcast;
-        in_ifaddr_ifa_local = ifa_local;
-        in_ifaddr_ifa_mask = ifa_mask;
-        in_ifaddr_ifa_next = ifa_next }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("in_ifaddr", "in_ifaddr_parser_98", match_err));;
-let in_ifaddr_parser_100 kernel_version bits = 
+      raise (ParseError ("in_ifaddr", "in_ifaddr_parser_33", match_err));;
+let in_ifaddr_parser_30 kernel_version bits = 
   bitmatch bits with
   | { ifa_next : zero+64 : offset(0), littleendian;
       ifa_local : zero+32 : offset(256), littleendian;
@@ -3231,8506 +685,285 @@ let in_ifaddr_parser_100 kernel_version bits =
         in_ifaddr_ifa_mask = ifa_mask;
         in_ifaddr_ifa_next = ifa_next }
   | { _ } ->
-      raise (Virt_mem_types.ParseError ("in_ifaddr", "in_ifaddr_parser_100", match_err));;
-let inet6_ifaddr_parser_101 kernel_version bits = 
+      raise (ParseError ("in_ifaddr", "in_ifaddr_parser_30", match_err));;
+let in_ifaddr_parser_31 kernel_version bits = 
   bitmatch bits with
-  | { prefix_len : zero+32 : offset(128), littleendian;
-      lst_next : zero+32 : offset(1024), littleendian } ->
-      { inet6_ifaddr_lst_next = lst_next;
-        inet6_ifaddr_prefix_len = prefix_len }
+  | { ifa_next : zero+64 : offset(0), bigendian;
+      ifa_local : zero+32 : offset(256), bigendian;
+      ifa_address : zero+32 : offset(288), bigendian;
+      ifa_mask : zero+32 : offset(320), bigendian;
+      ifa_broadcast : zero+32 : offset(352), bigendian } ->
+      { in_ifaddr_ifa_address = ifa_address;
+        in_ifaddr_ifa_broadcast = ifa_broadcast;
+        in_ifaddr_ifa_local = ifa_local;
+        in_ifaddr_ifa_mask = ifa_mask;
+        in_ifaddr_ifa_next = ifa_next }
   | { _ } ->
-      raise (Virt_mem_types.ParseError ("inet6_ifaddr", "inet6_ifaddr_parser_101", match_err));;
-let inet6_ifaddr_parser_108 kernel_version bits = 
+      raise (ParseError ("in_ifaddr", "in_ifaddr_parser_31", match_err));;
+let inet6_ifaddr_parser_36 kernel_version bits = 
   bitmatch bits with
   | { prefix_len : zero+32 : offset(128), littleendian;
       lst_next : zero+32 : offset(832), littleendian } ->
       { inet6_ifaddr_lst_next = lst_next;
         inet6_ifaddr_prefix_len = prefix_len }
   | { _ } ->
-      raise (Virt_mem_types.ParseError ("inet6_ifaddr", "inet6_ifaddr_parser_108", match_err));;
-let inet6_ifaddr_parser_116 kernel_version bits = 
-  bitmatch bits with
-  | { prefix_len : zero+32 : offset(128), bigendian;
-      lst_next : zero+32 : offset(832), bigendian } ->
-      { inet6_ifaddr_lst_next = lst_next;
-        inet6_ifaddr_prefix_len = prefix_len }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("inet6_ifaddr", "inet6_ifaddr_parser_116", match_err));;
-let inet6_ifaddr_parser_106 kernel_version bits = 
-  bitmatch bits with
-  | { prefix_len : zero+32 : offset(128), littleendian;
-      lst_next : zero+64 : offset(1856), littleendian } ->
-      { inet6_ifaddr_lst_next = lst_next;
-        inet6_ifaddr_prefix_len = prefix_len }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("inet6_ifaddr", "inet6_ifaddr_parser_106", match_err));;
-let inet6_ifaddr_parser_111 kernel_version bits = 
-  bitmatch bits with
-  | { prefix_len : zero+32 : offset(128), littleendian;
-      lst_next : zero+64 : offset(1664), littleendian } ->
-      { inet6_ifaddr_lst_next = lst_next;
-        inet6_ifaddr_prefix_len = prefix_len }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("inet6_ifaddr", "inet6_ifaddr_parser_111", match_err));;
-let inet6_ifaddr_parser_114 kernel_version bits = 
-  bitmatch bits with
-  | { prefix_len : zero+32 : offset(128), littleendian;
-      lst_next : zero+64 : offset(1728), littleendian } ->
-      { inet6_ifaddr_lst_next = lst_next;
-        inet6_ifaddr_prefix_len = prefix_len }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("inet6_ifaddr", "inet6_ifaddr_parser_114", match_err));;
-let inet6_ifaddr_parser_115 kernel_version bits = 
-  bitmatch bits with
-  | { prefix_len : zero+32 : offset(128), bigendian;
-      lst_next : zero+64 : offset(1728), bigendian } ->
-      { inet6_ifaddr_lst_next = lst_next;
-        inet6_ifaddr_prefix_len = prefix_len }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("inet6_ifaddr", "inet6_ifaddr_parser_115", match_err));;
-let inet6_ifaddr_parser_102 kernel_version bits = 
-  bitmatch bits with
-  | { prefix_len : zero+32 : offset(128), bigendian;
-      lst_next : zero+64 : offset(1472), bigendian } ->
-      { inet6_ifaddr_lst_next = lst_next;
-        inet6_ifaddr_prefix_len = prefix_len }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("inet6_ifaddr", "inet6_ifaddr_parser_102", match_err));;
-let inet6_ifaddr_parser_105 kernel_version bits = 
-  bitmatch bits with
-  | { prefix_len : zero+32 : offset(128), littleendian;
-      lst_next : zero+64 : offset(1472), littleendian } ->
-      { inet6_ifaddr_lst_next = lst_next;
-        inet6_ifaddr_prefix_len = prefix_len }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("inet6_ifaddr", "inet6_ifaddr_parser_105", match_err));;
-let inet6_ifaddr_parser_109 kernel_version bits = 
+      raise (ParseError ("inet6_ifaddr", "inet6_ifaddr_parser_36", match_err));;
+let inet6_ifaddr_parser_34 kernel_version bits = 
   bitmatch bits with
   | { prefix_len : zero+32 : offset(128), littleendian;
-      lst_next : zero+32 : offset(1056), littleendian } ->
+      lst_next : zero+64 : offset(1280), littleendian } ->
       { inet6_ifaddr_lst_next = lst_next;
         inet6_ifaddr_prefix_len = prefix_len }
   | { _ } ->
-      raise (Virt_mem_types.ParseError ("inet6_ifaddr", "inet6_ifaddr_parser_109", match_err));;
-let inet6_ifaddr_parser_103 kernel_version bits = 
+      raise (ParseError ("inet6_ifaddr", "inet6_ifaddr_parser_34", match_err));;
+let inet6_ifaddr_parser_35 kernel_version bits = 
   bitmatch bits with
   | { prefix_len : zero+32 : offset(128), bigendian;
-      lst_next : zero+32 : offset(928), bigendian } ->
-      { inet6_ifaddr_lst_next = lst_next;
-        inet6_ifaddr_prefix_len = prefix_len }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("inet6_ifaddr", "inet6_ifaddr_parser_103", match_err));;
-let inet6_ifaddr_parser_112 kernel_version bits = 
-  bitmatch bits with
-  | { prefix_len : zero+32 : offset(128), littleendian;
-      lst_next : zero+32 : offset(928), littleendian } ->
-      { inet6_ifaddr_lst_next = lst_next;
-        inet6_ifaddr_prefix_len = prefix_len }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("inet6_ifaddr", "inet6_ifaddr_parser_112", match_err));;
-let inet6_ifaddr_parser_119 kernel_version bits = 
-  bitmatch bits with
-  | { prefix_len : zero+32 : offset(128), littleendian;
-      lst_next : zero+64 : offset(1408), littleendian } ->
-      { inet6_ifaddr_lst_next = lst_next;
-        inet6_ifaddr_prefix_len = prefix_len }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("inet6_ifaddr", "inet6_ifaddr_parser_119", match_err));;
-let inet6_ifaddr_parser_104 kernel_version bits = 
-  bitmatch bits with
-  | { prefix_len : zero+32 : offset(128), littleendian;
-      lst_next : zero+64 : offset(1280), littleendian } ->
+      lst_next : zero+64 : offset(1280), bigendian } ->
       { inet6_ifaddr_lst_next = lst_next;
         inet6_ifaddr_prefix_len = prefix_len }
   | { _ } ->
-      raise (Virt_mem_types.ParseError ("inet6_ifaddr", "inet6_ifaddr_parser_104", match_err));;
-let inet6_ifaddr_parser_107 kernel_version bits = 
+      raise (ParseError ("inet6_ifaddr", "inet6_ifaddr_parser_35", match_err));;
+let inet6_ifaddr_parser_37 kernel_version bits = 
   bitmatch bits with
   | { prefix_len : zero+32 : offset(128), bigendian;
-      lst_next : zero+64 : offset(1280), bigendian } ->
+      lst_next : zero+32 : offset(800), bigendian } ->
       { inet6_ifaddr_lst_next = lst_next;
         inet6_ifaddr_prefix_len = prefix_len }
   | { _ } ->
-      raise (Virt_mem_types.ParseError ("inet6_ifaddr", "inet6_ifaddr_parser_107", match_err));;
-let inet6_ifaddr_parser_110 kernel_version bits = 
+      raise (ParseError ("inet6_ifaddr", "inet6_ifaddr_parser_37", match_err));;
+let inet6_ifaddr_parser_39 kernel_version bits = 
   bitmatch bits with
   | { prefix_len : zero+32 : offset(128), littleendian;
       lst_next : zero+64 : offset(1216), littleendian } ->
       { inet6_ifaddr_lst_next = lst_next;
         inet6_ifaddr_prefix_len = prefix_len }
   | { _ } ->
-      raise (Virt_mem_types.ParseError ("inet6_ifaddr", "inet6_ifaddr_parser_110", match_err));;
-let inet6_ifaddr_parser_113 kernel_version bits = 
+      raise (ParseError ("inet6_ifaddr", "inet6_ifaddr_parser_39", match_err));;
+let inet6_ifaddr_parser_41 kernel_version bits = 
   bitmatch bits with
   | { prefix_len : zero+32 : offset(128), bigendian;
-      lst_next : zero+32 : offset(800), bigendian } ->
+      lst_next : zero+64 : offset(1216), bigendian } ->
       { inet6_ifaddr_lst_next = lst_next;
         inet6_ifaddr_prefix_len = prefix_len }
   | { _ } ->
-      raise (Virt_mem_types.ParseError ("inet6_ifaddr", "inet6_ifaddr_parser_113", match_err));;
-let inet6_ifaddr_parser_120 kernel_version bits = 
+      raise (ParseError ("inet6_ifaddr", "inet6_ifaddr_parser_41", match_err));;
+let inet6_ifaddr_parser_38 kernel_version bits = 
   bitmatch bits with
   | { prefix_len : zero+32 : offset(128), bigendian;
-      lst_next : zero+64 : offset(1216), bigendian } ->
+      lst_next : zero+32 : offset(736), bigendian } ->
       { inet6_ifaddr_lst_next = lst_next;
         inet6_ifaddr_prefix_len = prefix_len }
   | { _ } ->
-      raise (Virt_mem_types.ParseError ("inet6_ifaddr", "inet6_ifaddr_parser_120", match_err));;
-let inet6_ifaddr_parser_117 kernel_version bits = 
+      raise (ParseError ("inet6_ifaddr", "inet6_ifaddr_parser_38", match_err));;
+let inet6_ifaddr_parser_40 kernel_version bits = 
   bitmatch bits with
   | { prefix_len : zero+32 : offset(128), littleendian;
       lst_next : zero+32 : offset(736), littleendian } ->
       { inet6_ifaddr_lst_next = lst_next;
         inet6_ifaddr_prefix_len = prefix_len }
   | { _ } ->
-      raise (Virt_mem_types.ParseError ("inet6_ifaddr", "inet6_ifaddr_parser_117", match_err));;
-let inet6_ifaddr_parser_118 kernel_version bits = 
-  bitmatch bits with
-  | { prefix_len : zero+32 : offset(128), bigendian;
-      lst_next : zero+32 : offset(736), bigendian } ->
-      { inet6_ifaddr_lst_next = lst_next;
-        inet6_ifaddr_prefix_len = prefix_len }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError ("inet6_ifaddr", "inet6_ifaddr_parser_118", match_err));;
+      raise (ParseError ("inet6_ifaddr", "inet6_ifaddr_parser_40", match_err));;
 let size_of_task_struct =
   let map =
-    StringMap.add "2.6.21-1.3128.fc7.i586" 2704
-      (StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc64" 2504
-         (StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc" 1756
-            (StringMap.add "2.6.25.14-69.fc8.x86_64" 2496
-               (StringMap.add "2.6.21-1.3190.fc7.x86_64" 1880
-                  (StringMap.add "2.6.21-1.3128.fc7.i686" 2704
-                     (StringMap.add "2.6.21-1.3141.fc7.x86_64" 3780
-                        (StringMap.add "2.6.27-0.226.rc1.git5.fc10.ppc" 2136
-                           (StringMap.add "2.6.21-1.3141.fc7.ppc64" 2132
-                              (StringMap.add "2.6.26.1-9.fc9.ppc64" 2572
-                                 (StringMap.add "2.6.21-1.3132.fc7.i686" 2704
-                                    (StringMap.add "2.6.21-1.3236.fc8.ppc"
-                                       1780
+    StringMap.add "2.6.25.14-69.fc8.x86_64" 2496
+      (StringMap.add "2.6.25.14-108.fc9.ppc64" 2524
+         (StringMap.add "2.6.25.14-108.fc9.i586" 1832
+            (StringMap.add "2.6.25.14-108.fc9.i686" 1832
+               (StringMap.add "2.6.25.14-69.fc8.ppc" 1952
+                  (StringMap.add "2.6.25.14-108.fc9.x86_64" 2496
+                     (StringMap.add "2.6.25.11-97.fc9.x86_64" 2496
+                        (StringMap.add "2.6.25.14-69.fc8.i586" 1832
+                           (StringMap.add "2.6.20-1.2933.fc6.ppc" 1592
+                              (StringMap.add "2.6.20-1.2933.fc6.x86_64" 1920
+                                 (StringMap.add "2.6.25.14-69.fc8.ppc64" 2524
+                                    (StringMap.add "2.6.25.11-97.fc9.i686"
+                                       1832
                                        (StringMap.add
-                                          "2.6.21-1.3228.fc7.i586" 1376
+                                          "2.6.20-1.2933.fc6.i686" 1400
                                           (StringMap.add
-                                             "2.6.24-0.167.rc8.git4.fc9.i586"
-                                             3540
+                                             "2.6.20-1.2933.fc6.i586" 1400
                                              (StringMap.add
-                                                "2.6.18-1.2798.fc6.x86_64"
-                                                1856
+                                                "2.6.25.14-108.fc9.ppc" 1952
                                                 (StringMap.add
-                                                   "2.6.21-1.3236.fc8.x86_64"
-                                                   3948
+                                                   "2.6.20-1.2933.fc6.ppc64"
+                                                   2112
                                                    (StringMap.add
-                                                      "2.6.21-1.3145.fc7.i686"
-                                                      2704
-                                                      (StringMap.add
-                                                         "2.6.21-1.3218.fc8.ppc64"
-                                                         2116
-                                                         (StringMap.add
-                                                            "2.6.25.14-108.fc9.ppc64"
-                                                            2524
-                                                            (StringMap.add
-                                                               "2.6.21-1.3190.fc7.i686"
-                                                               1400
-                                                               (StringMap.add
-                                                                  "2.6.26.2-2.fc8.i686"
-                                                                  1328
-                                                                  (StringMap.
-                                                                    add
-                                                                    "2.6.25.14-69.fc8.i686"
-                                                                    1832
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.24-0.167.rc8.git4.fc9.ppc"
-                                                                    1952
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.26.2-2.fc8.i686"
-                                                                    1328
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3228.fc7.ppc64"
-                                                                    2072
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.23.14-78.fc7.i686"
-                                                                    1548
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.237.rc2.fc10.i586"
-                                                                    4200
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.23.14-135.fc8.ppc"
-                                                                    1736
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3141.fc7.i686"
-                                                                    2704
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.226.rc1.git5.fc10.x86_64"
-                                                                    5824
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3228.fc7.x86_64"
-                                                                    1832
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.25.14-108.fc9.i586"
-                                                                    1832
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3141.fc7.ppc64"
-                                                                    2132
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3218.fc8.i586"
-                                                                    2712
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.22-0.23.rc7.git6.fc8.x86_64"
-                                                                    3932
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3242.fc8.ppc64"
-                                                                    2276
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3190.fc7.i686"
-                                                                    1400
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.25.14-108.fc9.i686"
-                                                                    1832
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.25.14-69.fc8.ppc64"
-                                                                    2524
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.23.14-78.fc7.ppc64"
-                                                                    2272
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.237.rc2.fc10.x86_64"
-                                                                    5824
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.23.14-78.fc7.i686"
-                                                                    3364
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.26.2-2.fc8.i686"
-                                                                    4180
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.26.2-2.fc8.i686"
-                                                                    4180
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3190.fc7.x86_64"
-                                                                    1920
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3144.fc7.ppc64"
-                                                                    2132
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3218.fc8.ppc"
-                                                                    1612
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.25.14-69.fc8.i686"
-                                                                    4684
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.22-0.23.rc7.git6.fc8.ppc64"
-                                                                    2292
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.26.2-2.fc8.ppc64"
-                                                                    2572
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3236.fc8.i686"
-                                                                    2880
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.241.rc2.git1.fc10.x86_64"
-                                                                    5824
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.23.14-135.fc8.ppc64"
-                                                                    2272
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.25.14-69.fc8.ppc"
-                                                                    1952
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.25.14-108.fc9.x86_64"
-                                                                    2496
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.244.rc2.git1.fc10.ppc64"
-                                                                    6712
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3145.fc7.ppc"
-                                                                    1592
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3132.fc7.ppc64"
-                                                                    2132
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.231.rc1.git6.fc10.ppc"
-                                                                    2136
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.225.rc1.git5.fc10.i686"
-                                                                    4204
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.238.rc2.fc10.ppc"
-                                                                    2124
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.26.2-2.fc8.ppc"
-                                                                    1992
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3145.fc7.i686"
-                                                                    1400
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.254.rc3.fc10.i686"
-                                                                    3436
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.225.rc1.git5.fc10.ppc64"
-                                                                    6712
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3228.fc7.i686"
-                                                                    1376
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.24-9.fc9.x86_64"
-                                                                    4684
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.244.rc2.git1.fc10.x86_64"
-                                                                    5824
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3221.fc8.x86_64"
-                                                                    3756
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3190.fc7.i686"
-                                                                    2704
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.241.rc2.git1.fc10.ppc64"
-                                                                    6712
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.254.rc3.fc10.ppc64"
-                                                                    5944
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.22-0.23.rc7.git6.fc8.ppc64"
-                                                                    2292
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.26.2-14.fc9.ppc"
-                                                                    1968
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.25.14-69.fc8.ppc"
-                                                                    1976
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3132.fc7.ppc64"
-                                                                    2132
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.26.1-9.fc9.i586"
-                                                                    1324
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.24-7.fc9.x86_64"
-                                                                    4684
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.26.2-14.fc9.ppc"
-                                                                    1992
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3238.fc8.ppc64"
-                                                                    2276
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.244.rc2.git1.fc10.ppc"
-                                                                    2124
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.231.rc1.git6.fc10.ppc64"
-                                                                    6712
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.18-1.2798.fc6.i586"
-                                                                    1384
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.25.14-68.fc8.i686"
-                                                                    4684
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.22-0.rc7.2.fc8.ppc64"
-                                                                    2276
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.226.rc1.git5.fc10.ppc"
-                                                                    2124
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3132.fc7.ppc"
-                                                                    1620
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.23.14-135.fc8.x86_64"
-                                                                    2080
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3234.fc8.ppc64"
-                                                                    2292
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.24-0.167.rc8.git4.fc9.x86_64"
-                                                                    4684
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.18-1.2798.fc6.i686"
-                                                                    1384
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.25.11-97.fc9.x86_64"
-                                                                    2496
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.25.14-108.fc9.i686"
-                                                                    4684
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.18-1.2798.fc6.i686"
-                                                                    1368
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3242.fc8.ppc"
-                                                                    1772
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.24-9.fc9.i686"
-                                                                    3540
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3141.fc7.i586"
-                                                                    2704
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3145.fc7.i686"
-                                                                    2704
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.238.rc2.fc10.i686"
-                                                                    4204
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3141.fc7.ppc"
-                                                                    1604
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.24-7.fc9.ppc64"
-                                                                    2504
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.22-0.23.rc7.git6.fc8.i686"
-                                                                    2856
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3236.fc8.ppc64"
-                                                                    2308
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.254.rc3.fc10.x86_64"
-                                                                    5056
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3209.fc8.ppc"
-                                                                    1628
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3236.fc8.ppc64"
-                                                                    2308
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3228.fc7.ppc64"
-                                                                    2072
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3128.fc7.ppc64"
-                                                                    2132
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.23.14-135.fc8.i686"
-                                                                    3364
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3238.fc8.ppc64"
-                                                                    2276
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3145.fc7.i686"
-                                                                    1400
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3190.fc7.ppc64"
-                                                                    2112
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.26.2-14.fc9.i686"
-                                                                    4180
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.25.14-69.fc8.i686"
-                                                                    4684
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3209.fc8.i686"
-                                                                    2712
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3132.fc7.x86_64"
-                                                                    3772
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.24-7.fc9.ppc64"
-                                                                    2504
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3145.fc7.x86_64"
-                                                                    1920
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.25.14-108.fc9.x86_64"
-                                                                    6232
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3228.fc7.x86_64"
-                                                                    3772
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.24-9.fc9.ppc"
-                                                                    1952
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.18-1.2798.fc6.ppc"
-                                                                    1576
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.22-0.rc7.2.fc8.x86_64"
-                                                                    3916
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.23.14-135.fc8.i686"
-                                                                    1548
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3128.fc7.ppc"
-                                                                    1620
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3209.fc8.i686"
-                                                                    2712
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3221.fc8.ppc64"
-                                                                    2116
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.237.rc2.fc10.ppc64"
-                                                                    6712
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3190.fc7.ppc"
-                                                                    1592
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3221.fc8.ppc"
-                                                                    1612
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.225.rc1.git5.fc10.i586"
-                                                                    4200
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.26.2-14.fc9.ppc64"
-                                                                    2572
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.22-0.rc7.2.fc8.ppc64"
-                                                                    2276
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.238.rc2.fc10.ppc64"
-                                                                    6712
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.231.rc1.git6.fc10.x86_64"
-                                                                    5824
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.237.rc2.fc10.ppc"
-                                                                    2124
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3221.fc8.ppc"
-                                                                    1628
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.20-1.2933.fc6.x86_64"
-                                                                    3772
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.24-0.167.rc8.git4.fc9.ppc64"
-                                                                    2504
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.238.rc2.fc10.i586"
-                                                                    4200
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.27-0.225.rc1.git5.fc10.x86_64"
-                                                                    5824
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3234.fc8.i686"
-                                                                    2880
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3144.fc7.ppc"
-                                                                    1620
-                                                                    (StringMap.
-                                                                    add
-                                                                    "2.6.21-1.3144.fc7.ppc64"
-                    &nbs