Update kerneldb.

diff --git a/extract/fedora-koji/fedora_koji_download_kernels.ml b/extract/fedora-koji/fedora_koji_download_kernels.ml
index 89879e4..57abfd3 100644 (file)
--- a/extract/fedora-koji/fedora_koji_download_kernels.ml
+++ b/extract/fedora-koji/fedora_koji_download_kernels.ml
@@ -197,6 +197,13 @@ let main outputdir =
   let nr_builds = List.length builds in
   printf "%d kernel builds found on Koji.\n%!" nr_builds;
 
   let nr_builds = List.length builds in
   printf "%d kernel builds found on Koji.\n%!" nr_builds;
 

+  (* Sort the builds by build ID in reverse, so that we tend to download
+   * the most recent kernels first.
+   *)
+  let builds =
+    let cmp { build_id = id1 } { build_id = id2 } = compare id2 id1 in
+    List.sort ~cmp builds in
+

   List.iteri (
     fun i build ->
       printf "Build %d/%d: %s\n" (i+1) nr_builds (string_of_build build);
   List.iteri (
     fun i build ->
       printf "Build %d/%d: %s\n" (i+1) nr_builds (string_of_build build);

diff --git a/kernels/kernel-PAE-debug-debuginfo-2.6.26.2-2.fc8.i686.rpm.data.bz2 b/kernels/kernel-PAE-debug-debuginfo-2.6.26.2-2.fc8.i686.rpm.data.bz2
new file mode 100644 (file)
index 0000000..b238a84
Binary files /dev/null and b/kernels/kernel-PAE-debug-debuginfo-2.6.26.2-2.fc8.i686.rpm.data.bz2 differ

diff --git a/kernels/kernel-PAE-debug-debuginfo-2.6.26.2-2.fc8.i686.rpm.info b/kernels/kernel-PAE-debug-debuginfo-2.6.26.2-2.fc8.i686.rpm.info
new file mode 100644 (file)
index 0000000..5225bd5
--- /dev/null
+++ b/kernels/kernel-PAE-debug-debuginfo-2.6.26.2-2.fc8.i686.rpm.info
@@ -0,0 +1,23 @@
+Source: fedora-koji
+Distribution: Fedora
+RPM_id: 701546
+RPM_build_id: 59084
+Name: kernel-PAE-debug-debuginfo
+Version: 2.6.26.2
+Release: 2.fc8
+Architecture: i686
+RPM_size: 248955096
+
+Name        : kernel-PAE-debug-debuginfo   Relocations: (not relocatable)
+Version     : 2.6.26.2                          Vendor: Fedora Project
+Release     : 2.fc8                         Build Date: Sat 09 Aug 2008 06:10:17 PM BST
+Install Date: (not installed)               Build Host: x86-1
+Group       : Development/Debug             Source RPM: kernel-2.6.26.2-2.fc8.src.rpm
+Size        : 598319273                        License: GPLv2
+Signature   : (none)
+Packager    : Fedora Project
+URL         : http://www.kernel.org/
+Summary     : Debug information for package kernel-PAE-debug
+Description :
+This package provides debug information for package kernel-PAE-debug.
+This is required to use SystemTap with kernel-PAE-debug-2.6.26.2-2.fc8.

diff --git a/kernels/kernel-PAE-debuginfo-2.6.26.2-2.fc8.i686.rpm.data.bz2 b/kernels/kernel-PAE-debuginfo-2.6.26.2-2.fc8.i686.rpm.data.bz2
new file mode 100644 (file)
index 0000000..931c4c8
Binary files /dev/null and b/kernels/kernel-PAE-debuginfo-2.6.26.2-2.fc8.i686.rpm.data.bz2 differ

diff --git a/kernels/kernel-PAE-debuginfo-2.6.26.2-2.fc8.i686.rpm.info b/kernels/kernel-PAE-debuginfo-2.6.26.2-2.fc8.i686.rpm.info
new file mode 100644 (file)
index 0000000..ddc08d3
--- /dev/null
+++ b/kernels/kernel-PAE-debuginfo-2.6.26.2-2.fc8.i686.rpm.info
@@ -0,0 +1,23 @@
+Source: fedora-koji
+Distribution: Fedora
+RPM_id: 701543
+RPM_build_id: 59084
+Name: kernel-PAE-debuginfo
+Version: 2.6.26.2
+Release: 2.fc8
+Architecture: i686
+RPM_size: 239991050
+
+Name        : kernel-PAE-debuginfo         Relocations: (not relocatable)
+Version     : 2.6.26.2                          Vendor: Fedora Project
+Release     : 2.fc8                         Build Date: Sat 09 Aug 2008 06:10:17 PM BST
+Install Date: (not installed)               Build Host: x86-1
+Group       : Development/Debug             Source RPM: kernel-2.6.26.2-2.fc8.src.rpm
+Size        : 578986496                        License: GPLv2
+Signature   : (none)
+Packager    : Fedora Project
+URL         : http://www.kernel.org/
+Summary     : Debug information for package kernel-PAE
+Description :
+This package provides debug information for package kernel-PAE.
+This is required to use SystemTap with kernel-PAE-2.6.26.2-2.fc8.

diff --git a/kernels/kernel-debug-debuginfo-2.6.26.2-2.fc8.i686.rpm.data.bz2 b/kernels/kernel-debug-debuginfo-2.6.26.2-2.fc8.i686.rpm.data.bz2
new file mode 100644 (file)
index 0000000..21a20fd
Binary files /dev/null and b/kernels/kernel-debug-debuginfo-2.6.26.2-2.fc8.i686.rpm.data.bz2 differ

diff --git a/kernels/kernel-debug-debuginfo-2.6.26.2-2.fc8.i686.rpm.info b/kernels/kernel-debug-debuginfo-2.6.26.2-2.fc8.i686.rpm.info
new file mode 100644 (file)
index 0000000..71da85a
--- /dev/null
+++ b/kernels/kernel-debug-debuginfo-2.6.26.2-2.fc8.i686.rpm.info
@@ -0,0 +1,23 @@
+Source: fedora-koji
+Distribution: Fedora
+RPM_id: 701549
+RPM_build_id: 59084
+Name: kernel-debug-debuginfo
+Version: 2.6.26.2
+Release: 2.fc8
+Architecture: i686
+RPM_size: 248577936
+
+Name        : kernel-debug-debuginfo       Relocations: (not relocatable)
+Version     : 2.6.26.2                          Vendor: Fedora Project
+Release     : 2.fc8                         Build Date: Sat 09 Aug 2008 06:10:17 PM BST
+Install Date: (not installed)               Build Host: x86-1
+Group       : Development/Debug             Source RPM: kernel-2.6.26.2-2.fc8.src.rpm
+Size        : 597719170                        License: GPLv2
+Signature   : (none)
+Packager    : Fedora Project
+URL         : http://www.kernel.org/
+Summary     : Debug information for package kernel-debug
+Description :
+This package provides debug information for package kernel-debug.
+This is required to use SystemTap with kernel-debug-2.6.26.2-2.fc8.

diff --git a/kernels/kernel-debug-debuginfo-2.6.26.2-2.fc8.x86_64.rpm.data.bz2 b/kernels/kernel-debug-debuginfo-2.6.26.2-2.fc8.x86_64.rpm.data.bz2
new file mode 100644 (file)
index 0000000..89728d7
Binary files /dev/null and b/kernels/kernel-debug-debuginfo-2.6.26.2-2.fc8.x86_64.rpm.data.bz2 differ

diff --git a/kernels/kernel-debug-debuginfo-2.6.26.2-2.fc8.x86_64.rpm.info b/kernels/kernel-debug-debuginfo-2.6.26.2-2.fc8.x86_64.rpm.info
new file mode 100644 (file)
index 0000000..cad009e
--- /dev/null
+++ b/kernels/kernel-debug-debuginfo-2.6.26.2-2.fc8.x86_64.rpm.info
@@ -0,0 +1,23 @@
+Source: fedora-koji
+Distribution: Fedora
+RPM_id: 701524
+RPM_build_id: 59084
+Name: kernel-debug-debuginfo
+Version: 2.6.26.2
+Release: 2.fc8
+Architecture: x86_64
+RPM_size: 241172112
+
+Name        : kernel-debug-debuginfo       Relocations: (not relocatable)
+Version     : 2.6.26.2                          Vendor: Fedora Project
+Release     : 2.fc8                         Build Date: Sat 09 Aug 2008 05:44:01 PM BST
+Install Date: (not installed)               Build Host: x86-6
+Group       : Development/Debug             Source RPM: kernel-2.6.26.2-2.fc8.src.rpm
+Size        : 790296397                        License: GPLv2
+Signature   : (none)
+Packager    : Fedora Project
+URL         : http://www.kernel.org/
+Summary     : Debug information for package kernel-debug
+Description :
+This package provides debug information for package kernel-debug.
+This is required to use SystemTap with kernel-debug-2.6.26.2-2.fc8.

diff --git a/kernels/kernel-debuginfo-2.6.26.2-2.fc8.i586.rpm.data.bz2 b/kernels/kernel-debuginfo-2.6.26.2-2.fc8.i586.rpm.data.bz2
new file mode 100644 (file)
index 0000000..7d0fa74
Binary files /dev/null and b/kernels/kernel-debuginfo-2.6.26.2-2.fc8.i586.rpm.data.bz2 differ

diff --git a/kernels/kernel-debuginfo-2.6.26.2-2.fc8.i586.rpm.info b/kernels/kernel-debuginfo-2.6.26.2-2.fc8.i586.rpm.info
new file mode 100644 (file)
index 0000000..3b55763
--- /dev/null
+++ b/kernels/kernel-debuginfo-2.6.26.2-2.fc8.i586.rpm.info
@@ -0,0 +1,23 @@
+Source: fedora-koji
+Distribution: Fedora
+RPM_id: 701528
+RPM_build_id: 59084
+Name: kernel-debuginfo
+Version: 2.6.26.2
+Release: 2.fc8
+Architecture: i586
+RPM_size: 238769836
+
+Name        : kernel-debuginfo             Relocations: (not relocatable)
+Version     : 2.6.26.2                          Vendor: Fedora Project
+Release     : 2.fc8                         Build Date: Sat 09 Aug 2008 05:26:56 PM BST
+Install Date: (not installed)               Build Host: x86-4
+Group       : Development/Debug             Source RPM: kernel-2.6.26.2-2.fc8.src.rpm
+Size        : 576394714                        License: GPLv2
+Signature   : (none)
+Packager    : Fedora Project
+URL         : http://www.kernel.org/
+Summary     : Debug information for package kernel
+Description :
+This package provides debug information for package kernel.
+This is required to use SystemTap with kernel-2.6.26.2-2.fc8.

diff --git a/kernels/kernel-debuginfo-2.6.26.2-2.fc8.i686.rpm.data.bz2 b/kernels/kernel-debuginfo-2.6.26.2-2.fc8.i686.rpm.data.bz2
new file mode 100644 (file)
index 0000000..ae76cd8
Binary files /dev/null and b/kernels/kernel-debuginfo-2.6.26.2-2.fc8.i686.rpm.data.bz2 differ

diff --git a/kernels/kernel-debuginfo-2.6.26.2-2.fc8.i686.rpm.info b/kernels/kernel-debuginfo-2.6.26.2-2.fc8.i686.rpm.info
new file mode 100644 (file)
index 0000000..535ddda
--- /dev/null
+++ b/kernels/kernel-debuginfo-2.6.26.2-2.fc8.i686.rpm.info
@@ -0,0 +1,23 @@
+Source: fedora-koji
+Distribution: Fedora
+RPM_id: 701540
+RPM_build_id: 59084
+Name: kernel-debuginfo
+Version: 2.6.26.2
+Release: 2.fc8
+Architecture: i686
+RPM_size: 239580805
+
+Name        : kernel-debuginfo             Relocations: (not relocatable)
+Version     : 2.6.26.2                          Vendor: Fedora Project
+Release     : 2.fc8                         Build Date: Sat 09 Aug 2008 06:10:17 PM BST
+Install Date: (not installed)               Build Host: x86-1
+Group       : Development/Debug             Source RPM: kernel-2.6.26.2-2.fc8.src.rpm
+Size        : 578317358                        License: GPLv2
+Signature   : (none)
+Packager    : Fedora Project
+URL         : http://www.kernel.org/
+Summary     : Debug information for package kernel
+Description :
+This package provides debug information for package kernel.
+This is required to use SystemTap with kernel-2.6.26.2-2.fc8.

diff --git a/kernels/kernel-debuginfo-2.6.26.2-2.fc8.ppc64.rpm.data.bz2 b/kernels/kernel-debuginfo-2.6.26.2-2.fc8.ppc64.rpm.data.bz2
new file mode 100644 (file)
index 0000000..5044f98
Binary files /dev/null and b/kernels/kernel-debuginfo-2.6.26.2-2.fc8.ppc64.rpm.data.bz2 differ

diff --git a/kernels/kernel-debuginfo-2.6.26.2-2.fc8.ppc64.rpm.info b/kernels/kernel-debuginfo-2.6.26.2-2.fc8.ppc64.rpm.info
new file mode 100644 (file)
index 0000000..567123e
--- /dev/null
+++ b/kernels/kernel-debuginfo-2.6.26.2-2.fc8.ppc64.rpm.info
@@ -0,0 +1,23 @@
+Source: fedora-koji
+Distribution: Fedora
+RPM_id: 701533
+RPM_build_id: 59084
+Name: kernel-debuginfo
+Version: 2.6.26.2
+Release: 2.fc8
+Architecture: ppc64
+RPM_size: 310970727
+
+Name        : kernel-debuginfo             Relocations: (not relocatable)
+Version     : 2.6.26.2                          Vendor: Fedora Project
+Release     : 2.fc8                         Build Date: Sat 09 Aug 2008 06:49:13 PM BST
+Install Date: (not installed)               Build Host: ppc4.fedora.phx.redhat.com
+Group       : Development/Debug             Source RPM: kernel-2.6.26.2-2.fc8.src.rpm
+Size        : 868627010                        License: GPLv2
+Signature   : (none)
+Packager    : Fedora Project
+URL         : http://www.kernel.org/
+Summary     : Debug information for package kernel
+Description :
+This package provides debug information for package kernel.
+This is required to use SystemTap with kernel-2.6.26.2-2.fc8.

diff --git a/kernels/kernel-kdump-debuginfo-2.6.26.2-2.fc8.ppc64.rpm.data.bz2 b/kernels/kernel-kdump-debuginfo-2.6.26.2-2.fc8.ppc64.rpm.data.bz2
new file mode 100644 (file)
index 0000000..8f148ec
Binary files /dev/null and b/kernels/kernel-kdump-debuginfo-2.6.26.2-2.fc8.ppc64.rpm.data.bz2 differ

diff --git a/kernels/kernel-kdump-debuginfo-2.6.26.2-2.fc8.ppc64.rpm.info b/kernels/kernel-kdump-debuginfo-2.6.26.2-2.fc8.ppc64.rpm.info
new file mode 100644 (file)
index 0000000..e8d2681
--- /dev/null
+++ b/kernels/kernel-kdump-debuginfo-2.6.26.2-2.fc8.ppc64.rpm.info
@@ -0,0 +1,23 @@
+Source: fedora-koji
+Distribution: Fedora
+RPM_id: 701536
+RPM_build_id: 59084
+Name: kernel-kdump-debuginfo
+Version: 2.6.26.2
+Release: 2.fc8
+Architecture: ppc64
+RPM_size: 311051512
+
+Name        : kernel-kdump-debuginfo       Relocations: (not relocatable)
+Version     : 2.6.26.2                          Vendor: Fedora Project
+Release     : 2.fc8                         Build Date: Sat 09 Aug 2008 06:49:13 PM BST
+Install Date: (not installed)               Build Host: ppc4.fedora.phx.redhat.com
+Group       : Development/Debug             Source RPM: kernel-2.6.26.2-2.fc8.src.rpm
+Size        : 868692553                        License: GPLv2
+Signature   : (none)
+Packager    : Fedora Project
+URL         : http://www.kernel.org/
+Summary     : Debug information for package kernel-kdump
+Description :
+This package provides debug information for package kernel-kdump.
+This is required to use SystemTap with kernel-kdump-2.6.26.2-2.fc8.

diff --git a/lib/kernel_net_device.ml b/lib/kernel_net_device.ml
index 223aa68..72a29a0 100644 (file)
--- a/lib/kernel_net_device.ml
+++ b/lib/kernel_net_device.ml
@@ -24,7 +24,7 @@ let parser_2 bits =
 let parser_3 bits = 
   bitmatch bits with
   | { net_device_name : 128 : offset(0), string;
 let parser_3 bits = 
   bitmatch bits with
   | { net_device_name : 128 : offset(0), string;

-      net_device_dev_addr : 256 : offset(2528), string } ->
+      net_device_dev_addr : 256 : offset(2560), string } ->

       { net_device_name = net_device_name;
         net_device_dev_addr = net_device_dev_addr }
   | { _ } ->
       { net_device_name = net_device_name;
         net_device_dev_addr = net_device_dev_addr }
   | { _ } ->


@@ -32,7 +32,7 @@ let parser_3 bits =
 let parser_4 bits = 
   bitmatch bits with
   | { net_device_name : 128 : offset(0), string;
 let parser_4 bits = 
   bitmatch bits with
   | { net_device_name : 128 : offset(0), string;

-      net_device_dev_addr : 256 : offset(3392), string } ->
+      net_device_dev_addr : 256 : offset(2528), string } ->

       { net_device_name = net_device_name;
         net_device_dev_addr = net_device_dev_addr }
   | { _ } ->
       { net_device_name = net_device_name;
         net_device_dev_addr = net_device_dev_addr }
   | { _ } ->


@@ -40,7 +40,7 @@ let parser_4 bits =
 let parser_5 bits = 
   bitmatch bits with
   | { net_device_name : 128 : offset(0), string;
 let parser_5 bits = 
   bitmatch bits with
   | { net_device_name : 128 : offset(0), string;

-      net_device_dev_addr : 256 : offset(4416), string } ->
+      net_device_dev_addr : 256 : offset(3392), string } ->

       { net_device_name = net_device_name;
         net_device_dev_addr = net_device_dev_addr }
   | { _ } ->
       { net_device_name = net_device_name;
         net_device_dev_addr = net_device_dev_addr }
   | { _ } ->


@@ -48,7 +48,7 @@ let parser_5 bits =
 let parser_6 bits = 
   bitmatch bits with
   | { net_device_name : 128 : offset(0), string;
 let parser_6 bits = 
   bitmatch bits with
   | { net_device_name : 128 : offset(0), string;

-      net_device_dev_addr : 256 : offset(1728), string } ->
+      net_device_dev_addr : 256 : offset(4416), string } ->

       { net_device_name = net_device_name;
         net_device_dev_addr = net_device_dev_addr }
   | { _ } ->
       { net_device_name = net_device_name;
         net_device_dev_addr = net_device_dev_addr }
   | { _ } ->


@@ -56,7 +56,7 @@ let parser_6 bits =
 let parser_7 bits = 
   bitmatch bits with
   | { net_device_name : 128 : offset(0), string;
 let parser_7 bits = 
   bitmatch bits with
   | { net_device_name : 128 : offset(0), string;

-      net_device_dev_addr : 256 : offset(3392), string } ->
+      net_device_dev_addr : 256 : offset(4288), string } ->

       { net_device_name = net_device_name;
         net_device_dev_addr = net_device_dev_addr }
   | { _ } ->
       { net_device_name = net_device_name;
         net_device_dev_addr = net_device_dev_addr }
   | { _ } ->


@@ -64,7 +64,7 @@ let parser_7 bits =
 let parser_8 bits = 
   bitmatch bits with
   | { net_device_name : 128 : offset(0), string;
 let parser_8 bits = 
   bitmatch bits with
   | { net_device_name : 128 : offset(0), string;

-      net_device_dev_addr : 256 : offset(1696), string } ->
+      net_device_dev_addr : 256 : offset(1728), string } ->

       { net_device_name = net_device_name;
         net_device_dev_addr = net_device_dev_addr }
   | { _ } ->
       { net_device_name = net_device_name;
         net_device_dev_addr = net_device_dev_addr }
   | { _ } ->


@@ -72,7 +72,7 @@ let parser_8 bits =
 let parser_9 bits = 
   bitmatch bits with
   | { net_device_name : 128 : offset(0), string;
 let parser_9 bits = 
   bitmatch bits with
   | { net_device_name : 128 : offset(0), string;

-      net_device_dev_addr : 256 : offset(2496), string } ->
+      net_device_dev_addr : 256 : offset(3392), string } ->

       { net_device_name = net_device_name;
         net_device_dev_addr = net_device_dev_addr }
   | { _ } ->
       { net_device_name = net_device_name;
         net_device_dev_addr = net_device_dev_addr }
   | { _ } ->


@@ -80,7 +80,7 @@ let parser_9 bits =
 let parser_10 bits = 
   bitmatch bits with
   | { net_device_name : 128 : offset(0), string;
 let parser_10 bits = 
   bitmatch bits with
   | { net_device_name : 128 : offset(0), string;

-      net_device_dev_addr : 256 : offset(4416), string } ->
+      net_device_dev_addr : 256 : offset(1696), string } ->

       { net_device_name = net_device_name;
         net_device_dev_addr = net_device_dev_addr }
   | { _ } ->
       { net_device_name = net_device_name;
         net_device_dev_addr = net_device_dev_addr }
   | { _ } ->


@@ -88,7 +88,7 @@ let parser_10 bits =
 let parser_11 bits = 
   bitmatch bits with
   | { net_device_name : 128 : offset(0), string;
 let parser_11 bits = 
   bitmatch bits with
   | { net_device_name : 128 : offset(0), string;

-      net_device_dev_addr : 256 : offset(2592), string } ->
+      net_device_dev_addr : 256 : offset(2496), string } ->

       { net_device_name = net_device_name;
         net_device_dev_addr = net_device_dev_addr }
   | { _ } ->
       { net_device_name = net_device_name;
         net_device_dev_addr = net_device_dev_addr }
   | { _ } ->


@@ -96,7 +96,7 @@ let parser_11 bits =
 let parser_12 bits = 
   bitmatch bits with
   | { net_device_name : 128 : offset(0), string;
 let parser_12 bits = 
   bitmatch bits with
   | { net_device_name : 128 : offset(0), string;

-      net_device_dev_addr : 256 : offset(2528), string } ->
+      net_device_dev_addr : 256 : offset(4416), string } ->

       { net_device_name = net_device_name;
         net_device_dev_addr = net_device_dev_addr }
   | { _ } ->
       { net_device_name = net_device_name;
         net_device_dev_addr = net_device_dev_addr }
   | { _ } ->


@@ -104,7 +104,7 @@ let parser_12 bits =
 let parser_13 bits = 
   bitmatch bits with
   | { net_device_name : 128 : offset(0), string;
 let parser_13 bits = 
   bitmatch bits with
   | { net_device_name : 128 : offset(0), string;

-      net_device_dev_addr : 256 : offset(4288), string } ->
+      net_device_dev_addr : 256 : offset(2592), string } ->

       { net_device_name = net_device_name;
         net_device_dev_addr = net_device_dev_addr }
   | { _ } ->
       { net_device_name = net_device_name;
         net_device_dev_addr = net_device_dev_addr }
   | { _ } ->


@@ -112,7 +112,7 @@ let parser_13 bits =
 let parser_14 bits = 
   bitmatch bits with
   | { net_device_name : 128 : offset(0), string;
 let parser_14 bits = 
   bitmatch bits with
   | { net_device_name : 128 : offset(0), string;

-      net_device_dev_addr : 256 : offset(4288), string } ->
+      net_device_dev_addr : 256 : offset(2528), string } ->

       { net_device_name = net_device_name;
         net_device_dev_addr = net_device_dev_addr }
   | { _ } ->
       { net_device_name = net_device_name;
         net_device_dev_addr = net_device_dev_addr }
   | { _ } ->


@@ -120,7 +120,7 @@ let parser_14 bits =
 let parser_15 bits = 
   bitmatch bits with
   | { net_device_name : 128 : offset(0), string;
 let parser_15 bits = 
   bitmatch bits with
   | { net_device_name : 128 : offset(0), string;

-      net_device_dev_addr : 256 : offset(1728), string } ->
+      net_device_dev_addr : 256 : offset(4288), string } ->

       { net_device_name = net_device_name;
         net_device_dev_addr = net_device_dev_addr }
   | { _ } ->
       { net_device_name = net_device_name;
         net_device_dev_addr = net_device_dev_addr }
   | { _ } ->


@@ -128,7 +128,7 @@ let parser_15 bits =
 let parser_16 bits = 
   bitmatch bits with
   | { net_device_name : 128 : offset(0), string;
 let parser_16 bits = 
   bitmatch bits with
   | { net_device_name : 128 : offset(0), string;

-      net_device_dev_addr : 256 : offset(2688), string } ->
+      net_device_dev_addr : 256 : offset(1728), string } ->

       { net_device_name = net_device_name;
         net_device_dev_addr = net_device_dev_addr }
   | { _ } ->
       { net_device_name = net_device_name;
         net_device_dev_addr = net_device_dev_addr }
   | { _ } ->


@@ -136,7 +136,7 @@ let parser_16 bits =
 let parser_17 bits = 
   bitmatch bits with
   | { net_device_name : 128 : offset(0), string;
 let parser_17 bits = 
   bitmatch bits with
   | { net_device_name : 128 : offset(0), string;

-      net_device_dev_addr : 256 : offset(1696), string } ->
+      net_device_dev_addr : 256 : offset(2688), string } ->

       { net_device_name = net_device_name;
         net_device_dev_addr = net_device_dev_addr }
   | { _ } ->
       { net_device_name = net_device_name;
         net_device_dev_addr = net_device_dev_addr }
   | { _ } ->


@@ -144,7 +144,7 @@ let parser_17 bits =
 let parser_18 bits = 
   bitmatch bits with
   | { net_device_name : 128 : offset(0), string;
 let parser_18 bits = 
   bitmatch bits with
   | { net_device_name : 128 : offset(0), string;

-      net_device_dev_addr : 256 : offset(2624), string } ->
+      net_device_dev_addr : 256 : offset(1696), string } ->

       { net_device_name = net_device_name;
         net_device_dev_addr = net_device_dev_addr }
   | { _ } ->
       { net_device_name = net_device_name;
         net_device_dev_addr = net_device_dev_addr }
   | { _ } ->


@@ -152,11 +152,19 @@ let parser_18 bits =
 let parser_19 bits = 
   bitmatch bits with
   | { net_device_name : 128 : offset(0), string;
 let parser_19 bits = 
   bitmatch bits with
   | { net_device_name : 128 : offset(0), string;

-      net_device_dev_addr : 256 : offset(2752), string } ->
+      net_device_dev_addr : 256 : offset(2624), string } ->

       { net_device_name = net_device_name;
         net_device_dev_addr = net_device_dev_addr }
   | { _ } ->
       raise (ParseError (struct_name, "parser_19", match_err));;
       { net_device_name = net_device_name;
         net_device_dev_addr = net_device_dev_addr }
   | { _ } ->
       raise (ParseError (struct_name, "parser_19", match_err));;

+let parser_20 bits = 
+  bitmatch bits with
+  | { net_device_name : 128 : offset(0), string;
+      net_device_dev_addr : 256 : offset(2752), string } ->
+      { net_device_name = net_device_name;
+        net_device_dev_addr = net_device_dev_addr }
+  | { _ } ->
+      raise (ParseError (struct_name, "parser_20", match_err));;

 module StringMap = Map.Make(String);;
 let map = StringMap.empty;;
 let v = (parser_1, 924);;
 module StringMap = Map.Make(String);;
 let map = StringMap.empty;;
 let v = (parser_1, 924);;


@@ -171,6 +179,8 @@ let v = (parser_2, 1444);;
 let map = StringMap.add "2.6.23.14-135.fc8.i686" v map;;
 let v = (parser_2, 1444);;
 let map = StringMap.add "2.6.23.14-78.fc7.i686" v map;;
 let map = StringMap.add "2.6.23.14-135.fc8.i686" v map;;
 let v = (parser_2, 1444);;
 let map = StringMap.add "2.6.23.14-78.fc7.i686" v map;;

+let v = (parser_3, 1384);;
+let map = StringMap.add "2.6.26.2-2.fc8.i686" v map;;

 let v = (parser_1, 912);;
 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
 let v = (parser_1, 1284);;
 let v = (parser_1, 912);;
 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
 let v = (parser_1, 1284);;


@@ -209,381 +219,395 @@ let v = (parser_2, 1248);;
 let map = StringMap.add "2.6.23.14-135.fc8.i686" v map;;
 let v = (parser_2, 1248);;
 let map = StringMap.add "2.6.23.14-78.fc7.i686" v map;;
 let map = StringMap.add "2.6.23.14-135.fc8.i686" v map;;
 let v = (parser_2, 1248);;
 let map = StringMap.add "2.6.23.14-78.fc7.i686" v map;;

-let v = (parser_3, 1244);;
+let v = (parser_4, 1244);;

 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.i686" v map;;
 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.i686" v map;;

-let v = (parser_3, 1244);;
+let v = (parser_4, 1244);;

 let map = StringMap.add "2.6.24-7.fc9.i686" v map;;
 let map = StringMap.add "2.6.24-7.fc9.i686" v map;;

-let v = (parser_3, 1244);;
+let v = (parser_4, 1244);;

 let map = StringMap.add "2.6.24-9.fc9.i686" v map;;
 let map = StringMap.add "2.6.24-9.fc9.i686" v map;;

+let v = (parser_3, 1216);;
+let map = StringMap.add "2.6.26.2-2.fc8.i686" v map;;

 let v = (parser_1, 924);;
 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
 let v = (parser_1, 924);;
 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;

-let v = (parser_4, 1540);;
+let v = (parser_5, 1540);;

 let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;;
 let v = (parser_1, 1284);;
 let map = StringMap.add "2.6.21-1.3145.fc7.i686" v map;;
 let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;;
 let v = (parser_1, 1284);;
 let map = StringMap.add "2.6.21-1.3145.fc7.i686" v map;;

-let v = (parser_4, 2196);;
+let v = (parser_5, 2196);;

 let map = StringMap.add "2.6.21-1.3145.fc7.x86_64" v map;;
 let v = (parser_1, 1284);;
 let map = StringMap.add "2.6.21-1.3190.fc7.i686" v map;;
 let map = StringMap.add "2.6.21-1.3145.fc7.x86_64" v map;;
 let v = (parser_1, 1284);;
 let map = StringMap.add "2.6.21-1.3190.fc7.i686" v map;;

-let v = (parser_4, 2196);;
+let v = (parser_5, 2196);;

 let map = StringMap.add "2.6.21-1.3190.fc7.x86_64" v map;;
 let v = (parser_1, 1284);;
 let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;;
 let map = StringMap.add "2.6.21-1.3190.fc7.x86_64" v map;;
 let v = (parser_1, 1284);;
 let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;;

-let v = (parser_4, 2196);;
+let v = (parser_5, 2196);;

 let map = StringMap.add "2.6.21-1.3228.fc7.x86_64" v map;;
 let v = (parser_2, 1444);;
 let map = StringMap.add "2.6.23.14-135.fc8.i686" v map;;
 let map = StringMap.add "2.6.21-1.3228.fc7.x86_64" v map;;
 let v = (parser_2, 1444);;
 let map = StringMap.add "2.6.23.14-135.fc8.i686" v map;;

-let v = (parser_5, 2392);;
+let v = (parser_6, 2392);;

 let map = StringMap.add "2.6.23.14-135.fc8.x86_64" v map;;
 let map = StringMap.add "2.6.23.14-135.fc8.x86_64" v map;;

-let v = (parser_5, 2392);;
+let v = (parser_6, 2392);;

 let map = StringMap.add "2.6.23.14-78.fc7.x86_64" v map;;
 let map = StringMap.add "2.6.23.14-78.fc7.x86_64" v map;;

+let v = (parser_3, 1384);;
+let map = StringMap.add "2.6.26.2-2.fc8.i686" v map;;
+let v = (parser_7, 2304);;
+let map = StringMap.add "2.6.26.2-2.fc8.x86_64" v map;;

 let v = (parser_1, 912);;
 let map = StringMap.add "2.6.18-1.2798.fc6.i586" v map;;
 let v = (parser_1, 912);;
 let map = StringMap.add "2.6.18-1.2798.fc6.i686" v map;;
 let v = (parser_1, 912);;
 let map = StringMap.add "2.6.18-1.2798.fc6.i586" v map;;
 let v = (parser_1, 912);;
 let map = StringMap.add "2.6.18-1.2798.fc6.i686" v map;;

-let v = (parser_6, 672);;
+let v = (parser_8, 672);;

 let map = StringMap.add "2.6.18-1.2798.fc6.ppc" v map;;
 let map = StringMap.add "2.6.18-1.2798.fc6.ppc" v map;;

-let v = (parser_7, 1260);;
+let v = (parser_9, 1260);;

 let map = StringMap.add "2.6.18-1.2798.fc6.ppc64" v map;;
 let map = StringMap.add "2.6.18-1.2798.fc6.ppc64" v map;;

-let v = (parser_7, 1260);;
+let v = (parser_9, 1260);;

 let map = StringMap.add "2.6.18-1.2798.fc6.ppc64iseries" v map;;
 let map = StringMap.add "2.6.18-1.2798.fc6.ppc64iseries" v map;;

-let v = (parser_4, 1260);;
+let v = (parser_5, 1260);;

 let map = StringMap.add "2.6.18-1.2798.fc6.x86_64" v map;;
 let v = (parser_1, 912);;
 let map = StringMap.add "2.6.20-1.2933.fc6.i586" v map;;
 let v = (parser_1, 912);;
 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
 let map = StringMap.add "2.6.18-1.2798.fc6.x86_64" v map;;
 let v = (parser_1, 912);;
 let map = StringMap.add "2.6.20-1.2933.fc6.i586" v map;;
 let v = (parser_1, 912);;
 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;

-let v = (parser_8, 668);;
+let v = (parser_10, 668);;

 let map = StringMap.add "2.6.20-1.2933.fc6.ppc" v map;;
 let map = StringMap.add "2.6.20-1.2933.fc6.ppc" v map;;

-let v = (parser_7, 1260);;
+let v = (parser_9, 1260);;

 let map = StringMap.add "2.6.20-1.2933.fc6.ppc64" v map;;
 let map = StringMap.add "2.6.20-1.2933.fc6.ppc64" v map;;

-let v = (parser_4, 1260);;
+let v = (parser_5, 1260);;

 let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;;
 let v = (parser_1, 1284);;
 let map = StringMap.add "2.6.21-1.3128.fc7.i586" v map;;
 let v = (parser_1, 1284);;
 let map = StringMap.add "2.6.21-1.3128.fc7.i686" v map;;
 let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;;
 let v = (parser_1, 1284);;
 let map = StringMap.add "2.6.21-1.3128.fc7.i586" v map;;
 let v = (parser_1, 1284);;
 let map = StringMap.add "2.6.21-1.3128.fc7.i686" v map;;

-let v = (parser_6, 996);;
+let v = (parser_8, 996);;

 let map = StringMap.add "2.6.21-1.3128.fc7.ppc" v map;;
 let map = StringMap.add "2.6.21-1.3128.fc7.ppc" v map;;

-let v = (parser_7, 1924);;
+let v = (parser_9, 1924);;

 let map = StringMap.add "2.6.21-1.3128.fc7.ppc64" v map;;
 let map = StringMap.add "2.6.21-1.3128.fc7.ppc64" v map;;

-let v = (parser_4, 2196);;
+let v = (parser_5, 2196);;

 let map = StringMap.add "2.6.21-1.3128.fc7.x86_64" v map;;
 let v = (parser_1, 1284);;
 let map = StringMap.add "2.6.21-1.3132.fc7.i586" v map;;
 let v = (parser_1, 1284);;
 let map = StringMap.add "2.6.21-1.3132.fc7.i686" v map;;
 let map = StringMap.add "2.6.21-1.3128.fc7.x86_64" v map;;
 let v = (parser_1, 1284);;
 let map = StringMap.add "2.6.21-1.3132.fc7.i586" v map;;
 let v = (parser_1, 1284);;
 let map = StringMap.add "2.6.21-1.3132.fc7.i686" v map;;

-let v = (parser_6, 996);;
+let v = (parser_8, 996);;

 let map = StringMap.add "2.6.21-1.3132.fc7.ppc" v map;;
 let map = StringMap.add "2.6.21-1.3132.fc7.ppc" v map;;

-let v = (parser_7, 1924);;
+let v = (parser_9, 1924);;

 let map = StringMap.add "2.6.21-1.3132.fc7.ppc64" v map;;
 let map = StringMap.add "2.6.21-1.3132.fc7.ppc64" v map;;

-let v = (parser_4, 2196);;
+let v = (parser_5, 2196);;

 let map = StringMap.add "2.6.21-1.3132.fc7.x86_64" v map;;
 let v = (parser_1, 1284);;
 let map = StringMap.add "2.6.21-1.3141.fc7.i586" v map;;
 let v = (parser_1, 1284);;
 let map = StringMap.add "2.6.21-1.3141.fc7.i686" v map;;
 let map = StringMap.add "2.6.21-1.3132.fc7.x86_64" v map;;
 let v = (parser_1, 1284);;
 let map = StringMap.add "2.6.21-1.3141.fc7.i586" v map;;
 let v = (parser_1, 1284);;
 let map = StringMap.add "2.6.21-1.3141.fc7.i686" v map;;

-let v = (parser_6, 996);;
+let v = (parser_8, 996);;

 let map = StringMap.add "2.6.21-1.3141.fc7.ppc" v map;;
 let map = StringMap.add "2.6.21-1.3141.fc7.ppc" v map;;

-let v = (parser_7, 1924);;
+let v = (parser_9, 1924);;

 let map = StringMap.add "2.6.21-1.3141.fc7.ppc64" v map;;
 let map = StringMap.add "2.6.21-1.3141.fc7.ppc64" v map;;

-let v = (parser_4, 2196);;
+let v = (parser_5, 2196);;

 let map = StringMap.add "2.6.21-1.3141.fc7.x86_64" v map;;
 let v = (parser_1, 1284);;
 let map = StringMap.add "2.6.21-1.3144.fc7.i586" v map;;
 let v = (parser_1, 1284);;
 let map = StringMap.add "2.6.21-1.3144.fc7.i686" v map;;
 let map = StringMap.add "2.6.21-1.3141.fc7.x86_64" v map;;
 let v = (parser_1, 1284);;
 let map = StringMap.add "2.6.21-1.3144.fc7.i586" v map;;
 let v = (parser_1, 1284);;
 let map = StringMap.add "2.6.21-1.3144.fc7.i686" v map;;

-let v = (parser_6, 996);;
+let v = (parser_8, 996);;

 let map = StringMap.add "2.6.21-1.3144.fc7.ppc" v map;;
 let map = StringMap.add "2.6.21-1.3144.fc7.ppc" v map;;

-let v = (parser_7, 1924);;
+let v = (parser_9, 1924);;

 let map = StringMap.add "2.6.21-1.3144.fc7.ppc64" v map;;
 let map = StringMap.add "2.6.21-1.3144.fc7.ppc64" v map;;

-let v = (parser_4, 2196);;
+let v = (parser_5, 2196);;

 let map = StringMap.add "2.6.21-1.3144.fc7.x86_64" v map;;
 let v = (parser_1, 1200);;
 let map = StringMap.add "2.6.21-1.3145.fc7.i586" v map;;
 let v = (parser_1, 1200);;
 let map = StringMap.add "2.6.21-1.3145.fc7.i686" v map;;
 let map = StringMap.add "2.6.21-1.3144.fc7.x86_64" v map;;
 let v = (parser_1, 1200);;
 let map = StringMap.add "2.6.21-1.3145.fc7.i586" v map;;
 let v = (parser_1, 1200);;
 let map = StringMap.add "2.6.21-1.3145.fc7.i686" v map;;

-let v = (parser_6, 996);;
+let v = (parser_8, 996);;

 let map = StringMap.add "2.6.21-1.3145.fc7.ppc" v map;;
 let map = StringMap.add "2.6.21-1.3145.fc7.ppc" v map;;

-let v = (parser_7, 1924);;
+let v = (parser_9, 1924);;

 let map = StringMap.add "2.6.21-1.3145.fc7.ppc64" v map;;
 let map = StringMap.add "2.6.21-1.3145.fc7.ppc64" v map;;

-let v = (parser_4, 1900);;
+let v = (parser_5, 1900);;

 let map = StringMap.add "2.6.21-1.3145.fc7.x86_64" v map;;
 let v = (parser_1, 1200);;
 let map = StringMap.add "2.6.21-1.3190.fc7.i586" v map;;
 let v = (parser_1, 1200);;
 let map = StringMap.add "2.6.21-1.3190.fc7.i686" v map;;
 let map = StringMap.add "2.6.21-1.3145.fc7.x86_64" v map;;
 let v = (parser_1, 1200);;
 let map = StringMap.add "2.6.21-1.3190.fc7.i586" v map;;
 let v = (parser_1, 1200);;
 let map = StringMap.add "2.6.21-1.3190.fc7.i686" v map;;

-let v = (parser_6, 996);;
+let v = (parser_8, 996);;

 let map = StringMap.add "2.6.21-1.3190.fc7.ppc" v map;;
 let map = StringMap.add "2.6.21-1.3190.fc7.ppc" v map;;

-let v = (parser_7, 1924);;
+let v = (parser_9, 1924);;

 let map = StringMap.add "2.6.21-1.3190.fc7.ppc64" v map;;
 let map = StringMap.add "2.6.21-1.3190.fc7.ppc64" v map;;

-let v = (parser_4, 1900);;
+let v = (parser_5, 1900);;

 let map = StringMap.add "2.6.21-1.3190.fc7.x86_64" v map;;
 let v = (parser_2, 1408);;
 let map = StringMap.add "2.6.21-1.3209.fc8.i586" v map;;
 let v = (parser_2, 1408);;
 let map = StringMap.add "2.6.21-1.3209.fc8.i686" v map;;
 let map = StringMap.add "2.6.21-1.3190.fc7.x86_64" v map;;
 let v = (parser_2, 1408);;
 let map = StringMap.add "2.6.21-1.3209.fc8.i586" v map;;
 let v = (parser_2, 1408);;
 let map = StringMap.add "2.6.21-1.3209.fc8.i686" v map;;

-let v = (parser_9, 1092);;
+let v = (parser_11, 1092);;

 let map = StringMap.add "2.6.21-1.3209.fc8.ppc" v map;;
 let map = StringMap.add "2.6.21-1.3209.fc8.ppc" v map;;

-let v = (parser_10, 2044);;
+let v = (parser_12, 2044);;

 let map = StringMap.add "2.6.21-1.3209.fc8.ppc64" v map;;
 let map = StringMap.add "2.6.21-1.3209.fc8.ppc64" v map;;

-let v = (parser_5, 2316);;
+let v = (parser_6, 2316);;

 let map = StringMap.add "2.6.21-1.3209.fc8.x86_64" v map;;
 let v = (parser_2, 1408);;
 let map = StringMap.add "2.6.21-1.3218.fc8.i586" v map;;
 let v = (parser_2, 1408);;
 let map = StringMap.add "2.6.21-1.3218.fc8.i686" v map;;
 let map = StringMap.add "2.6.21-1.3209.fc8.x86_64" v map;;
 let v = (parser_2, 1408);;
 let map = StringMap.add "2.6.21-1.3218.fc8.i586" v map;;
 let v = (parser_2, 1408);;
 let map = StringMap.add "2.6.21-1.3218.fc8.i686" v map;;

-let v = (parser_9, 1092);;
+let v = (parser_11, 1092);;

 let map = StringMap.add "2.6.21-1.3218.fc8.ppc" v map;;
 let map = StringMap.add "2.6.21-1.3218.fc8.ppc" v map;;

-let v = (parser_10, 2044);;
+let v = (parser_12, 2044);;

 let map = StringMap.add "2.6.21-1.3218.fc8.ppc64" v map;;
 let map = StringMap.add "2.6.21-1.3218.fc8.ppc64" v map;;

-let v = (parser_5, 2316);;
+let v = (parser_6, 2316);;

 let map = StringMap.add "2.6.21-1.3218.fc8.x86_64" v map;;
 let v = (parser_2, 1408);;
 let map = StringMap.add "2.6.21-1.3221.fc8.i586" v map;;
 let v = (parser_2, 1408);;
 let map = StringMap.add "2.6.21-1.3221.fc8.i686" v map;;
 let map = StringMap.add "2.6.21-1.3218.fc8.x86_64" v map;;
 let v = (parser_2, 1408);;
 let map = StringMap.add "2.6.21-1.3221.fc8.i586" v map;;
 let v = (parser_2, 1408);;
 let map = StringMap.add "2.6.21-1.3221.fc8.i686" v map;;

-let v = (parser_9, 1092);;
+let v = (parser_11, 1092);;

 let map = StringMap.add "2.6.21-1.3221.fc8.ppc" v map;;
 let map = StringMap.add "2.6.21-1.3221.fc8.ppc" v map;;

-let v = (parser_10, 2044);;
+let v = (parser_12, 2044);;

 let map = StringMap.add "2.6.21-1.3221.fc8.ppc64" v map;;
 let map = StringMap.add "2.6.21-1.3221.fc8.ppc64" v map;;

-let v = (parser_5, 2316);;
+let v = (parser_6, 2316);;

 let map = StringMap.add "2.6.21-1.3221.fc8.x86_64" v map;;
 let v = (parser_1, 1116);;
 let map = StringMap.add "2.6.21-1.3228.fc7.i586" v map;;
 let v = (parser_1, 1116);;
 let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;;
 let map = StringMap.add "2.6.21-1.3221.fc8.x86_64" v map;;
 let v = (parser_1, 1116);;
 let map = StringMap.add "2.6.21-1.3228.fc7.i586" v map;;
 let v = (parser_1, 1116);;
 let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;;

-let v = (parser_6, 836);;
+let v = (parser_8, 836);;

 let map = StringMap.add "2.6.21-1.3228.fc7.ppc" v map;;
 let map = StringMap.add "2.6.21-1.3228.fc7.ppc" v map;;

-let v = (parser_7, 1684);;
+let v = (parser_9, 1684);;

 let map = StringMap.add "2.6.21-1.3228.fc7.ppc64" v map;;
 let map = StringMap.add "2.6.21-1.3228.fc7.ppc64" v map;;

-let v = (parser_4, 1660);;
+let v = (parser_5, 1660);;

 let map = StringMap.add "2.6.21-1.3228.fc7.x86_64" v map;;
 let v = (parser_2, 1408);;
 let map = StringMap.add "2.6.21-1.3234.fc8.i686" v map;;
 let map = StringMap.add "2.6.21-1.3228.fc7.x86_64" v map;;
 let v = (parser_2, 1408);;
 let map = StringMap.add "2.6.21-1.3234.fc8.i686" v map;;

-let v = (parser_9, 1092);;
+let v = (parser_11, 1092);;

 let map = StringMap.add "2.6.21-1.3234.fc8.ppc" v map;;
 let map = StringMap.add "2.6.21-1.3234.fc8.ppc" v map;;

-let v = (parser_10, 2044);;
+let v = (parser_12, 2044);;

 let map = StringMap.add "2.6.21-1.3234.fc8.ppc64" v map;;
 let map = StringMap.add "2.6.21-1.3234.fc8.ppc64" v map;;

-let v = (parser_5, 2316);;
+let v = (parser_6, 2316);;

 let map = StringMap.add "2.6.21-1.3234.fc8.x86_64" v map;;
 let v = (parser_2, 1408);;
 let map = StringMap.add "2.6.21-1.3236.fc8.i686" v map;;
 let map = StringMap.add "2.6.21-1.3234.fc8.x86_64" v map;;
 let v = (parser_2, 1408);;
 let map = StringMap.add "2.6.21-1.3236.fc8.i686" v map;;

-let v = (parser_9, 1092);;
+let v = (parser_11, 1092);;

 let map = StringMap.add "2.6.21-1.3236.fc8.ppc" v map;;
 let map = StringMap.add "2.6.21-1.3236.fc8.ppc" v map;;

-let v = (parser_10, 2044);;
+let v = (parser_12, 2044);;

 let map = StringMap.add "2.6.21-1.3236.fc8.ppc64" v map;;
 let map = StringMap.add "2.6.21-1.3236.fc8.ppc64" v map;;

-let v = (parser_5, 2316);;
+let v = (parser_6, 2316);;

 let map = StringMap.add "2.6.21-1.3236.fc8.x86_64" v map;;
 let v = (parser_2, 1408);;
 let map = StringMap.add "2.6.21-1.3238.fc8.i686" v map;;
 let map = StringMap.add "2.6.21-1.3236.fc8.x86_64" v map;;
 let v = (parser_2, 1408);;
 let map = StringMap.add "2.6.21-1.3238.fc8.i686" v map;;

-let v = (parser_9, 1092);;
+let v = (parser_11, 1092);;

 let map = StringMap.add "2.6.21-1.3238.fc8.ppc" v map;;
 let map = StringMap.add "2.6.21-1.3238.fc8.ppc" v map;;

-let v = (parser_10, 2044);;
+let v = (parser_12, 2044);;

 let map = StringMap.add "2.6.21-1.3238.fc8.ppc64" v map;;
 let map = StringMap.add "2.6.21-1.3238.fc8.ppc64" v map;;

-let v = (parser_5, 2316);;
+let v = (parser_6, 2316);;

 let map = StringMap.add "2.6.21-1.3238.fc8.x86_64" v map;;
 let v = (parser_2, 1408);;
 let map = StringMap.add "2.6.21-1.3242.fc8.i686" v map;;
 let map = StringMap.add "2.6.21-1.3238.fc8.x86_64" v map;;
 let v = (parser_2, 1408);;
 let map = StringMap.add "2.6.21-1.3242.fc8.i686" v map;;

-let v = (parser_9, 1092);;
+let v = (parser_11, 1092);;

 let map = StringMap.add "2.6.21-1.3242.fc8.ppc" v map;;
 let map = StringMap.add "2.6.21-1.3242.fc8.ppc" v map;;

-let v = (parser_10, 2044);;
+let v = (parser_12, 2044);;

 let map = StringMap.add "2.6.21-1.3242.fc8.ppc64" v map;;
 let map = StringMap.add "2.6.21-1.3242.fc8.ppc64" v map;;

-let v = (parser_5, 2316);;
+let v = (parser_6, 2316);;

 let map = StringMap.add "2.6.21-1.3242.fc8.x86_64" v map;;
 let v = (parser_2, 1408);;
 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.i686" v map;;
 let map = StringMap.add "2.6.21-1.3242.fc8.x86_64" v map;;
 let v = (parser_2, 1408);;
 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.i686" v map;;

-let v = (parser_9, 1092);;
+let v = (parser_11, 1092);;

 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc" v map;;
 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc" v map;;

-let v = (parser_10, 2044);;
+let v = (parser_12, 2044);;

 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc64" v map;;
 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc64" v map;;

-let v = (parser_5, 2316);;
+let v = (parser_6, 2316);;

 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.x86_64" v map;;
 let v = (parser_2, 1408);;
 let map = StringMap.add "2.6.22-0.rc7.2.fc8.i686" v map;;
 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.x86_64" v map;;
 let v = (parser_2, 1408);;
 let map = StringMap.add "2.6.22-0.rc7.2.fc8.i686" v map;;

-let v = (parser_9, 1092);;
+let v = (parser_11, 1092);;

 let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc" v map;;
 let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc" v map;;

-let v = (parser_10, 2044);;
+let v = (parser_12, 2044);;

 let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc64" v map;;
 let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc64" v map;;

-let v = (parser_5, 2316);;
+let v = (parser_6, 2316);;

 let map = StringMap.add "2.6.22-0.rc7.2.fc8.x86_64" v map;;
 let v = (parser_2, 1248);;
 let map = StringMap.add "2.6.23.14-135.fc8.i586" v map;;
 let v = (parser_2, 1248);;
 let map = StringMap.add "2.6.23.14-135.fc8.i686" v map;;
 let map = StringMap.add "2.6.22-0.rc7.2.fc8.x86_64" v map;;
 let v = (parser_2, 1248);;
 let map = StringMap.add "2.6.23.14-135.fc8.i586" v map;;
 let v = (parser_2, 1248);;
 let map = StringMap.add "2.6.23.14-135.fc8.i686" v map;;

-let v = (parser_11, 952);;
+let v = (parser_13, 952);;

 let map = StringMap.add "2.6.23.14-135.fc8.ppc" v map;;
 let map = StringMap.add "2.6.23.14-135.fc8.ppc" v map;;

-let v = (parser_10, 1824);;
+let v = (parser_12, 1824);;

 let map = StringMap.add "2.6.23.14-135.fc8.ppc64" v map;;
 let map = StringMap.add "2.6.23.14-135.fc8.ppc64" v map;;

-let v = (parser_5, 1800);;
+let v = (parser_6, 1800);;

 let map = StringMap.add "2.6.23.14-135.fc8.x86_64" v map;;
 let v = (parser_2, 1248);;
 let map = StringMap.add "2.6.23.14-78.fc7.i586" v map;;
 let v = (parser_2, 1248);;
 let map = StringMap.add "2.6.23.14-78.fc7.i686" v map;;
 let map = StringMap.add "2.6.23.14-135.fc8.x86_64" v map;;
 let v = (parser_2, 1248);;
 let map = StringMap.add "2.6.23.14-78.fc7.i586" v map;;
 let v = (parser_2, 1248);;
 let map = StringMap.add "2.6.23.14-78.fc7.i686" v map;;

-let v = (parser_11, 952);;
+let v = (parser_13, 952);;

 let map = StringMap.add "2.6.23.14-78.fc7.ppc" v map;;
 let map = StringMap.add "2.6.23.14-78.fc7.ppc" v map;;

-let v = (parser_10, 1824);;
+let v = (parser_12, 1824);;

 let map = StringMap.add "2.6.23.14-78.fc7.ppc64" v map;;
 let map = StringMap.add "2.6.23.14-78.fc7.ppc64" v map;;

-let v = (parser_5, 1800);;
+let v = (parser_6, 1800);;

 let map = StringMap.add "2.6.23.14-78.fc7.x86_64" v map;;
 let map = StringMap.add "2.6.23.14-78.fc7.x86_64" v map;;

-let v = (parser_3, 1244);;
+let v = (parser_4, 1244);;

 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.i586" v map;;
 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.i586" v map;;

-let v = (parser_3, 1244);;
+let v = (parser_4, 1244);;

 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.i686" v map;;
 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.i686" v map;;

-let v = (parser_12, 1048);;
+let v = (parser_14, 1048);;

 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc" v map;;
 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc" v map;;

-let v = (parser_13, 1984);;
+let v = (parser_15, 1984);;

 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc64" v map;;
 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc64" v map;;

-let v = (parser_14, 2288);;
+let v = (parser_7, 2288);;

 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.x86_64" v map;;
 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.x86_64" v map;;

-let v = (parser_3, 1244);;
+let v = (parser_4, 1244);;

 let map = StringMap.add "2.6.24-7.fc9.i586" v map;;
 let map = StringMap.add "2.6.24-7.fc9.i586" v map;;

-let v = (parser_3, 1244);;
+let v = (parser_4, 1244);;

 let map = StringMap.add "2.6.24-7.fc9.i686" v map;;
 let map = StringMap.add "2.6.24-7.fc9.i686" v map;;

-let v = (parser_12, 1048);;
+let v = (parser_14, 1048);;

 let map = StringMap.add "2.6.24-7.fc9.ppc" v map;;
 let map = StringMap.add "2.6.24-7.fc9.ppc" v map;;

-let v = (parser_13, 1984);;
+let v = (parser_15, 1984);;

 let map = StringMap.add "2.6.24-7.fc9.ppc64" v map;;
 let map = StringMap.add "2.6.24-7.fc9.ppc64" v map;;

-let v = (parser_14, 2288);;
+let v = (parser_7, 2288);;

 let map = StringMap.add "2.6.24-7.fc9.x86_64" v map;;
 let map = StringMap.add "2.6.24-7.fc9.x86_64" v map;;

-let v = (parser_3, 1244);;
+let v = (parser_4, 1244);;

 let map = StringMap.add "2.6.24-9.fc9.i586" v map;;
 let map = StringMap.add "2.6.24-9.fc9.i586" v map;;

-let v = (parser_3, 1244);;
+let v = (parser_4, 1244);;

 let map = StringMap.add "2.6.24-9.fc9.i686" v map;;
 let map = StringMap.add "2.6.24-9.fc9.i686" v map;;

-let v = (parser_12, 1048);;
+let v = (parser_14, 1048);;

 let map = StringMap.add "2.6.24-9.fc9.ppc" v map;;
 let map = StringMap.add "2.6.24-9.fc9.ppc" v map;;

-let v = (parser_13, 1984);;
+let v = (parser_15, 1984);;

 let map = StringMap.add "2.6.24-9.fc9.ppc64" v map;;
 let map = StringMap.add "2.6.24-9.fc9.ppc64" v map;;

-let v = (parser_14, 2288);;
+let v = (parser_7, 2288);;

 let map = StringMap.add "2.6.24-9.fc9.x86_64" v map;;
 let map = StringMap.add "2.6.24-9.fc9.x86_64" v map;;

-let v = (parser_3, 1212);;
+let v = (parser_4, 1212);;

 let map = StringMap.add "2.6.25.11-97.fc9.i686" v map;;
 let map = StringMap.add "2.6.25.11-97.fc9.i686" v map;;

-let v = (parser_14, 1752);;
+let v = (parser_7, 1752);;

 let map = StringMap.add "2.6.25.11-97.fc9.x86_64" v map;;
 let map = StringMap.add "2.6.25.11-97.fc9.x86_64" v map;;

-let v = (parser_15, 672);;
+let v = (parser_3, 1216);;
+let map = StringMap.add "2.6.26.2-2.fc8.i586" v map;;
+let v = (parser_3, 1216);;
+let map = StringMap.add "2.6.26.2-2.fc8.i686" v map;;
+let v = (parser_15, 1776);;
+let map = StringMap.add "2.6.26.2-2.fc8.ppc64" v map;;
+let v = (parser_16, 672);;

 let map = StringMap.add "2.6.18-1.2798.fc6.i686" v map;;
 let map = StringMap.add "2.6.18-1.2798.fc6.i686" v map;;

-let v = (parser_7, 1260);;
+let v = (parser_9, 1260);;

 let map = StringMap.add "2.6.18-1.2798.fc6.ppc64" v map;;
 let map = StringMap.add "2.6.18-1.2798.fc6.ppc64" v map;;

-let v = (parser_7, 1260);;
+let v = (parser_9, 1260);;

 let map = StringMap.add "2.6.18-1.2798.fc6.ppc64iseries" v map;;
 let map = StringMap.add "2.6.18-1.2798.fc6.ppc64iseries" v map;;

-let v = (parser_16, 1108);;
+let v = (parser_17, 1108);;

 let map = StringMap.add "2.6.18-1.2798.fc6.x86_64" v map;;
 let map = StringMap.add "2.6.18-1.2798.fc6.x86_64" v map;;

-let v = (parser_17, 668);;
+let v = (parser_18, 668);;

 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;

-let v = (parser_7, 1260);;
+let v = (parser_9, 1260);;

 let map = StringMap.add "2.6.20-1.2933.fc6.ppc64" v map;;
 let map = StringMap.add "2.6.20-1.2933.fc6.ppc64" v map;;

-let v = (parser_18, 1100);;
+let v = (parser_19, 1100);;

 let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;;
 let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;;

-let v = (parser_7, 1924);;
+let v = (parser_9, 1924);;

 let map = StringMap.add "2.6.21-1.3128.fc7.ppc64" v map;;
 let map = StringMap.add "2.6.21-1.3128.fc7.ppc64" v map;;

-let v = (parser_16, 2124);;
+let v = (parser_17, 2124);;

 let map = StringMap.add "2.6.21-1.3128.fc7.x86_64" v map;;
 let map = StringMap.add "2.6.21-1.3128.fc7.x86_64" v map;;

-let v = (parser_7, 1924);;
+let v = (parser_9, 1924);;

 let map = StringMap.add "2.6.21-1.3132.fc7.ppc64" v map;;
 let map = StringMap.add "2.6.21-1.3132.fc7.ppc64" v map;;

-let v = (parser_16, 2124);;
+let v = (parser_17, 2124);;

 let map = StringMap.add "2.6.21-1.3132.fc7.x86_64" v map;;
 let map = StringMap.add "2.6.21-1.3132.fc7.x86_64" v map;;

-let v = (parser_7, 1924);;
+let v = (parser_9, 1924);;

 let map = StringMap.add "2.6.21-1.3141.fc7.ppc64" v map;;
 let map = StringMap.add "2.6.21-1.3141.fc7.ppc64" v map;;

-let v = (parser_16, 2124);;
+let v = (parser_17, 2124);;

 let map = StringMap.add "2.6.21-1.3141.fc7.x86_64" v map;;
 let map = StringMap.add "2.6.21-1.3141.fc7.x86_64" v map;;

-let v = (parser_7, 1924);;
+let v = (parser_9, 1924);;

 let map = StringMap.add "2.6.21-1.3144.fc7.ppc64" v map;;
 let map = StringMap.add "2.6.21-1.3144.fc7.ppc64" v map;;

-let v = (parser_16, 2124);;
+let v = (parser_17, 2124);;

 let map = StringMap.add "2.6.21-1.3144.fc7.x86_64" v map;;
 let map = StringMap.add "2.6.21-1.3144.fc7.x86_64" v map;;

-let v = (parser_7, 1924);;
+let v = (parser_9, 1924);;

 let map = StringMap.add "2.6.21-1.3145.fc7.ppc64" v map;;
 let map = StringMap.add "2.6.21-1.3145.fc7.ppc64" v map;;

-let v = (parser_16, 1644);;
+let v = (parser_17, 1644);;

 let map = StringMap.add "2.6.21-1.3145.fc7.x86_64" v map;;
 let map = StringMap.add "2.6.21-1.3145.fc7.x86_64" v map;;

-let v = (parser_7, 1924);;
+let v = (parser_9, 1924);;

 let map = StringMap.add "2.6.21-1.3190.fc7.ppc64" v map;;
 let map = StringMap.add "2.6.21-1.3190.fc7.ppc64" v map;;

-let v = (parser_16, 1644);;
+let v = (parser_17, 1644);;

 let map = StringMap.add "2.6.21-1.3190.fc7.x86_64" v map;;
 let map = StringMap.add "2.6.21-1.3190.fc7.x86_64" v map;;

-let v = (parser_10, 2044);;
+let v = (parser_12, 2044);;

 let map = StringMap.add "2.6.21-1.3209.fc8.ppc64" v map;;
 let map = StringMap.add "2.6.21-1.3209.fc8.ppc64" v map;;

-let v = (parser_10, 2044);;
+let v = (parser_12, 2044);;

 let map = StringMap.add "2.6.21-1.3218.fc8.ppc64" v map;;
 let map = StringMap.add "2.6.21-1.3218.fc8.ppc64" v map;;

-let v = (parser_10, 2044);;
+let v = (parser_12, 2044);;

 let map = StringMap.add "2.6.21-1.3221.fc8.ppc64" v map;;
 let map = StringMap.add "2.6.21-1.3221.fc8.ppc64" v map;;

-let v = (parser_7, 1684);;
+let v = (parser_9, 1684);;

 let map = StringMap.add "2.6.21-1.3228.fc7.ppc64" v map;;
 let map = StringMap.add "2.6.21-1.3228.fc7.ppc64" v map;;

-let v = (parser_16, 1404);;
+let v = (parser_17, 1404);;

 let map = StringMap.add "2.6.21-1.3228.fc7.x86_64" v map;;
 let map = StringMap.add "2.6.21-1.3228.fc7.x86_64" v map;;

-let v = (parser_10, 2044);;
+let v = (parser_12, 2044);;

 let map = StringMap.add "2.6.21-1.3234.fc8.ppc64" v map;;
 let map = StringMap.add "2.6.21-1.3234.fc8.ppc64" v map;;

-let v = (parser_10, 2044);;
+let v = (parser_12, 2044);;

 let map = StringMap.add "2.6.21-1.3236.fc8.ppc64" v map;;
 let map = StringMap.add "2.6.21-1.3236.fc8.ppc64" v map;;

-let v = (parser_10, 2044);;
+let v = (parser_12, 2044);;

 let map = StringMap.add "2.6.21-1.3238.fc8.ppc64" v map;;
 let map = StringMap.add "2.6.21-1.3238.fc8.ppc64" v map;;

-let v = (parser_10, 2044);;
+let v = (parser_12, 2044);;

 let map = StringMap.add "2.6.21-1.3242.fc8.ppc64" v map;;
 let map = StringMap.add "2.6.21-1.3242.fc8.ppc64" v map;;

-let v = (parser_10, 2044);;
+let v = (parser_12, 2044);;

 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc64" v map;;
 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc64" v map;;

-let v = (parser_10, 2044);;
+let v = (parser_12, 2044);;

 let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc64" v map;;
 let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc64" v map;;

-let v = (parser_10, 1824);;
+let v = (parser_12, 1824);;

 let map = StringMap.add "2.6.23.14-135.fc8.ppc64" v map;;
 let map = StringMap.add "2.6.23.14-135.fc8.ppc64" v map;;

-let v = (parser_10, 1824);;
+let v = (parser_12, 1824);;

 let map = StringMap.add "2.6.23.14-78.fc7.ppc64" v map;;
 let map = StringMap.add "2.6.23.14-78.fc7.ppc64" v map;;

-let v = (parser_13, 1984);;
+let v = (parser_15, 1984);;

 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc64" v map;;
 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc64" v map;;

-let v = (parser_13, 1984);;
+let v = (parser_15, 1984);;

 let map = StringMap.add "2.6.24-7.fc9.ppc64" v map;;
 let map = StringMap.add "2.6.24-7.fc9.ppc64" v map;;

-let v = (parser_13, 1984);;
+let v = (parser_15, 1984);;

 let map = StringMap.add "2.6.24-9.fc9.ppc64" v map;;
 let map = StringMap.add "2.6.24-9.fc9.ppc64" v map;;

-let v = (parser_6, 688);;
+let v = (parser_15, 1776);;
+let map = StringMap.add "2.6.26.2-2.fc8.ppc64" v map;;
+let v = (parser_8, 688);;

 let map = StringMap.add "2.6.18-1.2798.fc6.ppc" v map;;
 let map = StringMap.add "2.6.18-1.2798.fc6.ppc" v map;;

-let v = (parser_6, 688);;
+let v = (parser_8, 688);;

 let map = StringMap.add "2.6.20-1.2933.fc6.ppc" v map;;
 let map = StringMap.add "2.6.20-1.2933.fc6.ppc" v map;;

-let v = (parser_6, 1020);;
+let v = (parser_8, 1020);;

 let map = StringMap.add "2.6.21-1.3128.fc7.ppc" v map;;
 let map = StringMap.add "2.6.21-1.3128.fc7.ppc" v map;;

-let v = (parser_6, 1020);;
+let v = (parser_8, 1020);;

 let map = StringMap.add "2.6.21-1.3132.fc7.ppc" v map;;
 let map = StringMap.add "2.6.21-1.3132.fc7.ppc" v map;;

-let v = (parser_6, 1020);;
+let v = (parser_8, 1020);;

 let map = StringMap.add "2.6.21-1.3141.fc7.ppc" v map;;
 let map = StringMap.add "2.6.21-1.3141.fc7.ppc" v map;;

-let v = (parser_6, 1020);;
+let v = (parser_8, 1020);;

 let map = StringMap.add "2.6.21-1.3144.fc7.ppc" v map;;
 let map = StringMap.add "2.6.21-1.3144.fc7.ppc" v map;;

-let v = (parser_6, 1020);;
+let v = (parser_8, 1020);;

 let map = StringMap.add "2.6.21-1.3145.fc7.ppc" v map;;
 let map = StringMap.add "2.6.21-1.3145.fc7.ppc" v map;;

-let v = (parser_6, 1020);;
+let v = (parser_8, 1020);;

 let map = StringMap.add "2.6.21-1.3190.fc7.ppc" v map;;
 let map = StringMap.add "2.6.21-1.3190.fc7.ppc" v map;;

-let v = (parser_9, 1116);;
+let v = (parser_11, 1116);;

 let map = StringMap.add "2.6.21-1.3209.fc8.ppc" v map;;
 let map = StringMap.add "2.6.21-1.3209.fc8.ppc" v map;;

-let v = (parser_9, 1116);;
+let v = (parser_11, 1116);;

 let map = StringMap.add "2.6.21-1.3218.fc8.ppc" v map;;
 let map = StringMap.add "2.6.21-1.3218.fc8.ppc" v map;;

-let v = (parser_9, 1116);;
+let v = (parser_11, 1116);;

 let map = StringMap.add "2.6.21-1.3221.fc8.ppc" v map;;
 let map = StringMap.add "2.6.21-1.3221.fc8.ppc" v map;;

-let v = (parser_6, 936);;
+let v = (parser_8, 936);;

 let map = StringMap.add "2.6.21-1.3228.fc7.ppc" v map;;
 let map = StringMap.add "2.6.21-1.3228.fc7.ppc" v map;;

-let v = (parser_9, 1116);;
+let v = (parser_11, 1116);;

 let map = StringMap.add "2.6.21-1.3234.fc8.ppc" v map;;
 let map = StringMap.add "2.6.21-1.3234.fc8.ppc" v map;;

-let v = (parser_9, 1116);;
+let v = (parser_11, 1116);;

 let map = StringMap.add "2.6.21-1.3236.fc8.ppc" v map;;
 let map = StringMap.add "2.6.21-1.3236.fc8.ppc" v map;;

-let v = (parser_9, 1116);;
+let v = (parser_11, 1116);;

 let map = StringMap.add "2.6.21-1.3238.fc8.ppc" v map;;
 let map = StringMap.add "2.6.21-1.3238.fc8.ppc" v map;;

-let v = (parser_9, 1116);;
+let v = (parser_11, 1116);;

 let map = StringMap.add "2.6.21-1.3242.fc8.ppc" v map;;
 let map = StringMap.add "2.6.21-1.3242.fc8.ppc" v map;;

-let v = (parser_9, 1116);;
+let v = (parser_11, 1116);;

 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc" v map;;
 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc" v map;;

-let v = (parser_9, 1116);;
+let v = (parser_11, 1116);;

 let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc" v map;;
 let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc" v map;;

-let v = (parser_19, 1064);;
+let v = (parser_20, 1064);;

 let map = StringMap.add "2.6.23.14-135.fc8.ppc" v map;;
 let map = StringMap.add "2.6.23.14-135.fc8.ppc" v map;;

-let v = (parser_19, 1064);;
+let v = (parser_20, 1064);;

 let map = StringMap.add "2.6.23.14-78.fc7.ppc" v map;;
 let map = StringMap.add "2.6.23.14-78.fc7.ppc" v map;;

-let v = (parser_12, 1072);;
+let v = (parser_14, 1072);;

 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc" v map;;
 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc" v map;;

-let v = (parser_12, 1072);;
+let v = (parser_14, 1072);;

 let map = StringMap.add "2.6.24-7.fc9.ppc" v map;;
 let map = StringMap.add "2.6.24-7.fc9.ppc" v map;;

-let v = (parser_12, 1072);;
+let v = (parser_14, 1072);;

 let map = StringMap.add "2.6.24-9.fc9.ppc" v map;;
 let v = (parser_1, 912);;
 let map = StringMap.add "2.6.18-1.2798.fc6.i686" v map;;
 let map = StringMap.add "2.6.24-9.fc9.ppc" v map;;
 let v = (parser_1, 912);;
 let map = StringMap.add "2.6.18-1.2798.fc6.i686" v map;;

-let v = (parser_4, 1260);;
+let v = (parser_5, 1260);;

 let map = StringMap.add "2.6.18-1.2798.fc6.x86_64" v map;;
 let v = (parser_1, 912);;
 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
 let map = StringMap.add "2.6.18-1.2798.fc6.x86_64" v map;;
 let v = (parser_1, 912);;
 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;

-let v = (parser_4, 1260);;
+let v = (parser_5, 1260);;

 let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;;
 type kernel_version = string;;
 let net_device_known version = StringMap.mem version map;;
 let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;;
 type kernel_version = string;;
 let net_device_known version = StringMap.mem version map;;

diff --git a/lib/kernel_task_struct.ml b/lib/kernel_task_struct.ml
index a6765dc..6b940d7 100644 (file)
--- a/lib/kernel_task_struct.ml
+++ b/lib/kernel_task_struct.ml
@@ -66,6 +66,30 @@ let parser_3 bits =
       task_struct_prio : zero+32 : offset(192), littleendian;
       task_struct_static_prio : zero+32 : offset(224), littleendian;
       task_struct_normal_prio : zero+32 : offset(256), littleendian;
       task_struct_prio : zero+32 : offset(192), littleendian;
       task_struct_static_prio : zero+32 : offset(224), littleendian;
       task_struct_normal_prio : zero+32 : offset(256), littleendian;

+      task_struct_tasks'next : zero+32 : offset(3360), littleendian;
+      task_struct_tasks'prev : zero+32 : offset(3392), littleendian;
+      task_struct_mm : zero+32 : offset(3424), littleendian;
+      task_struct_active_mm : zero+32 : offset(3456), littleendian;
+      task_struct_pid : zero+32 : offset(3712), littleendian;
+      task_struct_comm : 128 : offset(6088), string } ->
+      { task_struct_state = task_struct_state;
+        task_struct_prio = task_struct_prio;
+        task_struct_static_prio = task_struct_static_prio;
+        task_struct_normal_prio = task_struct_normal_prio;
+        task_struct_tasks'next = Int64.sub task_struct_tasks'next 420L;
+        task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 424L;
+        task_struct_mm = task_struct_mm;
+        task_struct_active_mm = task_struct_active_mm;
+        task_struct_pid = task_struct_pid;
+        task_struct_comm = task_struct_comm }
+  | { _ } ->
+      raise (ParseError (struct_name, "parser_3", match_err));;
+let parser_4 bits = 
+  bitmatch bits with
+  | { task_struct_state : zero+32 : offset(0), littleendian;
+      task_struct_prio : zero+32 : offset(192), littleendian;
+      task_struct_static_prio : zero+32 : offset(224), littleendian;
+      task_struct_normal_prio : zero+32 : offset(256), littleendian;

       task_struct_tasks'next : zero+32 : offset(2144), littleendian;
       task_struct_tasks'prev : zero+32 : offset(2176), littleendian;
       task_struct_mm : zero+32 : offset(2336), littleendian;
       task_struct_tasks'next : zero+32 : offset(2144), littleendian;
       task_struct_tasks'prev : zero+32 : offset(2176), littleendian;
       task_struct_mm : zero+32 : offset(2336), littleendian;


@@ -83,8 +107,8 @@ let parser_3 bits =
         task_struct_pid = task_struct_pid;
         task_struct_comm = task_struct_comm }
   | { _ } ->
         task_struct_pid = task_struct_pid;
         task_struct_comm = task_struct_comm }
   | { _ } ->

-      raise (ParseError (struct_name, "parser_3", match_err));;
-let parser_4 bits = 
+      raise (ParseError (struct_name, "parser_4", match_err));;
+let parser_5 bits = 

   bitmatch bits with
   | { task_struct_state : zero+32 : offset(0), littleendian;
       task_struct_prio : zero+32 : offset(192), littleendian;
   bitmatch bits with
   | { task_struct_state : zero+32 : offset(0), littleendian;
       task_struct_prio : zero+32 : offset(192), littleendian;


@@ -107,8 +131,8 @@ let parser_4 bits =
         task_struct_pid = task_struct_pid;
         task_struct_comm = task_struct_comm }
   | { _ } ->
         task_struct_pid = task_struct_pid;
         task_struct_comm = task_struct_comm }
   | { _ } ->

-      raise (ParseError (struct_name, "parser_4", match_err));;
-let parser_5 bits = 
+      raise (ParseError (struct_name, "parser_5", match_err));;
+let parser_6 bits = 

   bitmatch bits with
   | { task_struct_state : zero+32 : offset(0), littleendian;
       task_struct_prio : zero+32 : offset(160), littleendian;
   bitmatch bits with
   | { task_struct_state : zero+32 : offset(0), littleendian;
       task_struct_prio : zero+32 : offset(160), littleendian;


@@ -131,8 +155,8 @@ let parser_5 bits =
         task_struct_pid = task_struct_pid;
         task_struct_comm = task_struct_comm }
   | { _ } ->
         task_struct_pid = task_struct_pid;
         task_struct_comm = task_struct_comm }
   | { _ } ->

-      raise (ParseError (struct_name, "parser_5", match_err));;
-let parser_6 bits = 
+      raise (ParseError (struct_name, "parser_6", match_err));;
+let parser_7 bits = 

   bitmatch bits with
   | { task_struct_state : zero+32 : offset(0), littleendian;
       task_struct_prio : zero+32 : offset(160), littleendian;
   bitmatch bits with
   | { task_struct_state : zero+32 : offset(0), littleendian;
       task_struct_prio : zero+32 : offset(160), littleendian;


@@ -155,8 +179,8 @@ let parser_6 bits =
         task_struct_pid = task_struct_pid;
         task_struct_comm = task_struct_comm }
   | { _ } ->
         task_struct_pid = task_struct_pid;
         task_struct_comm = task_struct_comm }
   | { _ } ->

-      raise (ParseError (struct_name, "parser_6", match_err));;
-let parser_7 bits = 
+      raise (ParseError (struct_name, "parser_7", match_err));;
+let parser_8 bits = 

   bitmatch bits with
   | { task_struct_state : zero+32 : offset(0), littleendian;
       task_struct_prio : zero+32 : offset(160), littleendian;
   bitmatch bits with
   | { task_struct_state : zero+32 : offset(0), littleendian;
       task_struct_prio : zero+32 : offset(160), littleendian;


@@ -179,8 +203,8 @@ let parser_7 bits =
         task_struct_pid = task_struct_pid;
         task_struct_comm = task_struct_comm }
   | { _ } ->
         task_struct_pid = task_struct_pid;
         task_struct_comm = task_struct_comm }
   | { _ } ->

-      raise (ParseError (struct_name, "parser_7", match_err));;
-let parser_8 bits = 
+      raise (ParseError (struct_name, "parser_8", match_err));;
+let parser_9 bits = 

   bitmatch bits with
   | { task_struct_state : zero+64 : offset(0), littleendian;
       task_struct_prio : zero+32 : offset(320), littleendian;
   bitmatch bits with
   | { task_struct_state : zero+64 : offset(0), littleendian;
       task_struct_prio : zero+32 : offset(320), littleendian;


@@ -203,8 +227,8 @@ let parser_8 bits =
         task_struct_pid = task_struct_pid;
         task_struct_comm = task_struct_comm }
   | { _ } ->
         task_struct_pid = task_struct_pid;
         task_struct_comm = task_struct_comm }
   | { _ } ->

-      raise (ParseError (struct_name, "parser_8", match_err));;
-let parser_9 bits = 
+      raise (ParseError (struct_name, "parser_9", match_err));;
+let parser_10 bits = 

   bitmatch bits with
   | { task_struct_state : zero+64 : offset(0), littleendian;
       task_struct_prio : zero+32 : offset(224), littleendian;
   bitmatch bits with
   | { task_struct_state : zero+64 : offset(0), littleendian;
       task_struct_prio : zero+32 : offset(224), littleendian;


@@ -227,8 +251,32 @@ let parser_9 bits =
         task_struct_pid = task_struct_pid;
         task_struct_comm = task_struct_comm }
   | { _ } ->
         task_struct_pid = task_struct_pid;
         task_struct_comm = task_struct_comm }
   | { _ } ->

-      raise (ParseError (struct_name, "parser_9", match_err));;
-let parser_10 bits = 
+      raise (ParseError (struct_name, "parser_10", match_err));;
+let parser_11 bits = 
+  bitmatch bits with
+  | { task_struct_state : zero+64 : offset(0), littleendian;
+      task_struct_prio : zero+32 : offset(256), littleendian;
+      task_struct_static_prio : zero+32 : offset(288), littleendian;
+      task_struct_normal_prio : zero+32 : offset(320), littleendian;
+      task_struct_tasks'next : zero+64 : offset(4096), littleendian;
+      task_struct_tasks'prev : zero+64 : offset(4160), littleendian;
+      task_struct_mm : zero+64 : offset(4224), littleendian;
+      task_struct_active_mm : zero+64 : offset(4288), littleendian;
+      task_struct_pid : zero+32 : offset(4608), littleendian;
+      task_struct_comm : 128 : offset(8712), string } ->
+      { task_struct_state = task_struct_state;
+        task_struct_prio = task_struct_prio;
+        task_struct_static_prio = task_struct_static_prio;
+        task_struct_normal_prio = task_struct_normal_prio;
+        task_struct_tasks'next = Int64.sub task_struct_tasks'next 512L;
+        task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 520L;
+        task_struct_mm = task_struct_mm;
+        task_struct_active_mm = task_struct_active_mm;
+        task_struct_pid = task_struct_pid;
+        task_struct_comm = task_struct_comm }
+  | { _ } ->
+      raise (ParseError (struct_name, "parser_11", match_err));;
+let parser_12 bits = 

   bitmatch bits with
   | { task_struct_state : zero+32 : offset(0), bigendian;
       task_struct_prio : zero+32 : offset(192), bigendian;
   bitmatch bits with
   | { task_struct_state : zero+32 : offset(0), bigendian;
       task_struct_prio : zero+32 : offset(192), bigendian;


@@ -251,8 +299,8 @@ let parser_10 bits =
         task_struct_pid = task_struct_pid;
         task_struct_comm = task_struct_comm }
   | { _ } ->
         task_struct_pid = task_struct_pid;
         task_struct_comm = task_struct_comm }
   | { _ } ->

-      raise (ParseError (struct_name, "parser_10", match_err));;
-let parser_11 bits = 
+      raise (ParseError (struct_name, "parser_12", match_err));;
+let parser_13 bits = 

   bitmatch bits with
   | { task_struct_state : zero+64 : offset(0), bigendian;
       task_struct_prio : zero+32 : offset(320), bigendian;
   bitmatch bits with
   | { task_struct_state : zero+64 : offset(0), bigendian;
       task_struct_prio : zero+32 : offset(320), bigendian;


@@ -275,8 +323,8 @@ let parser_11 bits =
         task_struct_pid = task_struct_pid;
         task_struct_comm = task_struct_comm }
   | { _ } ->
         task_struct_pid = task_struct_pid;
         task_struct_comm = task_struct_comm }
   | { _ } ->

-      raise (ParseError (struct_name, "parser_11", match_err));;
-let parser_12 bits = 
+      raise (ParseError (struct_name, "parser_13", match_err));;
+let parser_14 bits = 

   bitmatch bits with
   | { task_struct_state : zero+64 : offset(0), littleendian;
       task_struct_prio : zero+32 : offset(320), littleendian;
   bitmatch bits with
   | { task_struct_state : zero+64 : offset(0), littleendian;
       task_struct_prio : zero+32 : offset(320), littleendian;


@@ -299,8 +347,8 @@ let parser_12 bits =
         task_struct_pid = task_struct_pid;
         task_struct_comm = task_struct_comm }
   | { _ } ->
         task_struct_pid = task_struct_pid;
         task_struct_comm = task_struct_comm }
   | { _ } ->

-      raise (ParseError (struct_name, "parser_12", match_err));;
-let parser_13 bits = 
+      raise (ParseError (struct_name, "parser_14", match_err));;
+let parser_15 bits = 

   bitmatch bits with
   | { task_struct_state : zero+64 : offset(0), bigendian;
       task_struct_prio : zero+32 : offset(256), bigendian;
   bitmatch bits with
   | { task_struct_state : zero+64 : offset(0), bigendian;
       task_struct_prio : zero+32 : offset(256), bigendian;


@@ -323,8 +371,8 @@ let parser_13 bits =
         task_struct_pid = task_struct_pid;
         task_struct_comm = task_struct_comm }
   | { _ } ->
         task_struct_pid = task_struct_pid;
         task_struct_comm = task_struct_comm }
   | { _ } ->

-      raise (ParseError (struct_name, "parser_13", match_err));;
-let parser_14 bits = 
+      raise (ParseError (struct_name, "parser_15", match_err));;
+let parser_16 bits = 

   bitmatch bits with
   | { task_struct_state : zero+64 : offset(0), littleendian;
       task_struct_prio : zero+32 : offset(256), littleendian;
   bitmatch bits with
   | { task_struct_state : zero+64 : offset(0), littleendian;
       task_struct_prio : zero+32 : offset(256), littleendian;


@@ -347,8 +395,8 @@ let parser_14 bits =
         task_struct_pid = task_struct_pid;
         task_struct_comm = task_struct_comm }
   | { _ } ->
         task_struct_pid = task_struct_pid;
         task_struct_comm = task_struct_comm }
   | { _ } ->

-      raise (ParseError (struct_name, "parser_14", match_err));;
-let parser_15 bits = 
+      raise (ParseError (struct_name, "parser_16", match_err));;
+let parser_17 bits = 

   bitmatch bits with
   | { task_struct_state : zero+32 : offset(0), bigendian;
       task_struct_prio : zero+32 : offset(192), bigendian;
   bitmatch bits with
   | { task_struct_state : zero+32 : offset(0), bigendian;
       task_struct_prio : zero+32 : offset(192), bigendian;


@@ -371,8 +419,8 @@ let parser_15 bits =
         task_struct_pid = task_struct_pid;
         task_struct_comm = task_struct_comm }
   | { _ } ->
         task_struct_pid = task_struct_pid;
         task_struct_comm = task_struct_comm }
   | { _ } ->

-      raise (ParseError (struct_name, "parser_15", match_err));;
-let parser_16 bits = 
+      raise (ParseError (struct_name, "parser_17", match_err));;
+let parser_18 bits = 

   bitmatch bits with
   | { task_struct_state : zero+64 : offset(0), bigendian;
       task_struct_prio : zero+32 : offset(256), bigendian;
   bitmatch bits with
   | { task_struct_state : zero+64 : offset(0), bigendian;
       task_struct_prio : zero+32 : offset(256), bigendian;


@@ -395,8 +443,8 @@ let parser_16 bits =
         task_struct_pid = task_struct_pid;
         task_struct_comm = task_struct_comm }
   | { _ } ->
         task_struct_pid = task_struct_pid;
         task_struct_comm = task_struct_comm }
   | { _ } ->

-      raise (ParseError (struct_name, "parser_16", match_err));;
-let parser_17 bits = 
+      raise (ParseError (struct_name, "parser_18", match_err));;
+let parser_19 bits = 

   bitmatch bits with
   | { task_struct_state : zero+64 : offset(0), littleendian;
       task_struct_prio : zero+32 : offset(256), littleendian;
   bitmatch bits with
   | { task_struct_state : zero+64 : offset(0), littleendian;
       task_struct_prio : zero+32 : offset(256), littleendian;


@@ -419,8 +467,8 @@ let parser_17 bits =
         task_struct_pid = task_struct_pid;
         task_struct_comm = task_struct_comm }
   | { _ } ->
         task_struct_pid = task_struct_pid;
         task_struct_comm = task_struct_comm }
   | { _ } ->

-      raise (ParseError (struct_name, "parser_17", match_err));;
-let parser_18 bits = 
+      raise (ParseError (struct_name, "parser_19", match_err));;
+let parser_20 bits = 

   bitmatch bits with
   | { task_struct_state : zero+32 : offset(0), bigendian;
       task_struct_prio : zero+32 : offset(192), bigendian;
   bitmatch bits with
   | { task_struct_state : zero+32 : offset(0), bigendian;
       task_struct_prio : zero+32 : offset(192), bigendian;


@@ -443,8 +491,8 @@ let parser_18 bits =
         task_struct_pid = task_struct_pid;
         task_struct_comm = task_struct_comm }
   | { _ } ->
         task_struct_pid = task_struct_pid;
         task_struct_comm = task_struct_comm }
   | { _ } ->

-      raise (ParseError (struct_name, "parser_18", match_err));;
-let parser_19 bits = 
+      raise (ParseError (struct_name, "parser_20", match_err));;
+let parser_21 bits = 

   bitmatch bits with
   | { task_struct_state : zero+64 : offset(0), bigendian;
       task_struct_prio : zero+32 : offset(256), bigendian;
   bitmatch bits with
   | { task_struct_state : zero+64 : offset(0), bigendian;
       task_struct_prio : zero+32 : offset(256), bigendian;


@@ -467,8 +515,8 @@ let parser_19 bits =
         task_struct_pid = task_struct_pid;
         task_struct_comm = task_struct_comm }
   | { _ } ->
         task_struct_pid = task_struct_pid;
         task_struct_comm = task_struct_comm }
   | { _ } ->

-      raise (ParseError (struct_name, "parser_19", match_err));;
-let parser_20 bits = 
+      raise (ParseError (struct_name, "parser_21", match_err));;
+let parser_22 bits = 

   bitmatch bits with
   | { task_struct_state : zero+64 : offset(0), littleendian;
       task_struct_prio : zero+32 : offset(256), littleendian;
   bitmatch bits with
   | { task_struct_state : zero+64 : offset(0), littleendian;
       task_struct_prio : zero+32 : offset(256), littleendian;


@@ -491,8 +539,8 @@ let parser_20 bits =
         task_struct_pid = task_struct_pid;
         task_struct_comm = task_struct_comm }
   | { _ } ->
         task_struct_pid = task_struct_pid;
         task_struct_comm = task_struct_comm }
   | { _ } ->

-      raise (ParseError (struct_name, "parser_20", match_err));;
-let parser_21 bits = 
+      raise (ParseError (struct_name, "parser_22", match_err));;
+let parser_23 bits = 

   bitmatch bits with
   | { task_struct_state : zero+32 : offset(0), bigendian;
       task_struct_prio : zero+32 : offset(160), bigendian;
   bitmatch bits with
   | { task_struct_state : zero+32 : offset(0), bigendian;
       task_struct_prio : zero+32 : offset(160), bigendian;


@@ -515,8 +563,8 @@ let parser_21 bits =
         task_struct_pid = task_struct_pid;
         task_struct_comm = task_struct_comm }
   | { _ } ->
         task_struct_pid = task_struct_pid;
         task_struct_comm = task_struct_comm }
   | { _ } ->

-      raise (ParseError (struct_name, "parser_21", match_err));;
-let parser_22 bits = 
+      raise (ParseError (struct_name, "parser_23", match_err));;
+let parser_24 bits = 

   bitmatch bits with
   | { task_struct_state : zero+64 : offset(0), bigendian;
       task_struct_prio : zero+32 : offset(224), bigendian;
   bitmatch bits with
   | { task_struct_state : zero+64 : offset(0), bigendian;
       task_struct_prio : zero+32 : offset(224), bigendian;


@@ -539,8 +587,8 @@ let parser_22 bits =
         task_struct_pid = task_struct_pid;
         task_struct_comm = task_struct_comm }
   | { _ } ->
         task_struct_pid = task_struct_pid;
         task_struct_comm = task_struct_comm }
   | { _ } ->

-      raise (ParseError (struct_name, "parser_22", match_err));;
-let parser_23 bits = 
+      raise (ParseError (struct_name, "parser_24", match_err));;
+let parser_25 bits = 

   bitmatch bits with
   | { task_struct_state : zero+64 : offset(0), littleendian;
       task_struct_prio : zero+32 : offset(224), littleendian;
   bitmatch bits with
   | { task_struct_state : zero+64 : offset(0), littleendian;
       task_struct_prio : zero+32 : offset(224), littleendian;


@@ -563,8 +611,8 @@ let parser_23 bits =
         task_struct_pid = task_struct_pid;
         task_struct_comm = task_struct_comm }
   | { _ } ->
         task_struct_pid = task_struct_pid;
         task_struct_comm = task_struct_comm }
   | { _ } ->

-      raise (ParseError (struct_name, "parser_23", match_err));;
-let parser_24 bits = 
+      raise (ParseError (struct_name, "parser_25", match_err));;
+let parser_26 bits = 

   bitmatch bits with
   | { task_struct_state : zero+32 : offset(0), bigendian;
       task_struct_prio : zero+32 : offset(160), bigendian;
   bitmatch bits with
   | { task_struct_state : zero+32 : offset(0), bigendian;
       task_struct_prio : zero+32 : offset(160), bigendian;


@@ -587,8 +635,8 @@ let parser_24 bits =
         task_struct_pid = task_struct_pid;
         task_struct_comm = task_struct_comm }
   | { _ } ->
         task_struct_pid = task_struct_pid;
         task_struct_comm = task_struct_comm }
   | { _ } ->

-      raise (ParseError (struct_name, "parser_24", match_err));;
-let parser_25 bits = 
+      raise (ParseError (struct_name, "parser_26", match_err));;
+let parser_27 bits = 

   bitmatch bits with
   | { task_struct_state : zero+64 : offset(0), bigendian;
       task_struct_prio : zero+32 : offset(224), bigendian;
   bitmatch bits with
   | { task_struct_state : zero+64 : offset(0), bigendian;
       task_struct_prio : zero+32 : offset(224), bigendian;


@@ -611,8 +659,8 @@ let parser_25 bits =
         task_struct_pid = task_struct_pid;
         task_struct_comm = task_struct_comm }
   | { _ } ->
         task_struct_pid = task_struct_pid;
         task_struct_comm = task_struct_comm }
   | { _ } ->

-      raise (ParseError (struct_name, "parser_25", match_err));;
-let parser_26 bits = 
+      raise (ParseError (struct_name, "parser_27", match_err));;
+let parser_28 bits = 

   bitmatch bits with
   | { task_struct_state : zero+64 : offset(0), littleendian;
       task_struct_prio : zero+32 : offset(224), littleendian;
   bitmatch bits with
   | { task_struct_state : zero+64 : offset(0), littleendian;
       task_struct_prio : zero+32 : offset(224), littleendian;


@@ -635,8 +683,8 @@ let parser_26 bits =
         task_struct_pid = task_struct_pid;
         task_struct_comm = task_struct_comm }
   | { _ } ->
         task_struct_pid = task_struct_pid;
         task_struct_comm = task_struct_comm }
   | { _ } ->

-      raise (ParseError (struct_name, "parser_26", match_err));;
-let parser_27 bits = 
+      raise (ParseError (struct_name, "parser_28", match_err));;
+let parser_29 bits = 

   bitmatch bits with
   | { task_struct_state : zero+32 : offset(0), bigendian;
       task_struct_prio : zero+32 : offset(160), bigendian;
   bitmatch bits with
   | { task_struct_state : zero+32 : offset(0), bigendian;
       task_struct_prio : zero+32 : offset(160), bigendian;


@@ -659,8 +707,8 @@ let parser_27 bits =
         task_struct_pid = task_struct_pid;
         task_struct_comm = task_struct_comm }
   | { _ } ->
         task_struct_pid = task_struct_pid;
         task_struct_comm = task_struct_comm }
   | { _ } ->

-      raise (ParseError (struct_name, "parser_27", match_err));;
-let parser_28 bits = 
+      raise (ParseError (struct_name, "parser_29", match_err));;
+let parser_30 bits = 

   bitmatch bits with
   | { task_struct_state : zero+64 : offset(0), bigendian;
       task_struct_prio : zero+32 : offset(224), bigendian;
   bitmatch bits with
   | { task_struct_state : zero+64 : offset(0), bigendian;
       task_struct_prio : zero+32 : offset(224), bigendian;


@@ -683,8 +731,8 @@ let parser_28 bits =
         task_struct_pid = task_struct_pid;
         task_struct_comm = task_struct_comm }
   | { _ } ->
         task_struct_pid = task_struct_pid;
         task_struct_comm = task_struct_comm }
   | { _ } ->

-      raise (ParseError (struct_name, "parser_28", match_err));;
-let parser_29 bits = 
+      raise (ParseError (struct_name, "parser_30", match_err));;
+let parser_31 bits = 

   bitmatch bits with
   | { task_struct_state : zero+32 : offset(0), bigendian;
       task_struct_prio : zero+32 : offset(160), bigendian;
   bitmatch bits with
   | { task_struct_state : zero+32 : offset(0), bigendian;
       task_struct_prio : zero+32 : offset(160), bigendian;


@@ -707,8 +755,8 @@ let parser_29 bits =
         task_struct_pid = task_struct_pid;
         task_struct_comm = task_struct_comm }
   | { _ } ->
         task_struct_pid = task_struct_pid;
         task_struct_comm = task_struct_comm }
   | { _ } ->

-      raise (ParseError (struct_name, "parser_29", match_err));;
-let parser_30 bits = 
+      raise (ParseError (struct_name, "parser_31", match_err));;
+let parser_32 bits = 

   bitmatch bits with
   | { task_struct_state : zero+64 : offset(0), bigendian;
       task_struct_prio : zero+32 : offset(224), bigendian;
   bitmatch bits with
   | { task_struct_state : zero+64 : offset(0), bigendian;
       task_struct_prio : zero+32 : offset(224), bigendian;


@@ -731,8 +779,8 @@ let parser_30 bits =
         task_struct_pid = task_struct_pid;
         task_struct_comm = task_struct_comm }
   | { _ } ->
         task_struct_pid = task_struct_pid;
         task_struct_comm = task_struct_comm }
   | { _ } ->

-      raise (ParseError (struct_name, "parser_30", match_err));;
-let parser_31 bits = 
+      raise (ParseError (struct_name, "parser_32", match_err));;
+let parser_33 bits = 

   bitmatch bits with
   | { task_struct_state : zero+64 : offset(0), littleendian;
       task_struct_prio : zero+32 : offset(224), littleendian;
   bitmatch bits with
   | { task_struct_state : zero+64 : offset(0), littleendian;
       task_struct_prio : zero+32 : offset(224), littleendian;


@@ -755,8 +803,8 @@ let parser_31 bits =
         task_struct_pid = task_struct_pid;
         task_struct_comm = task_struct_comm }
   | { _ } ->
         task_struct_pid = task_struct_pid;
         task_struct_comm = task_struct_comm }
   | { _ } ->

-      raise (ParseError (struct_name, "parser_31", match_err));;
-let parser_32 bits = 
+      raise (ParseError (struct_name, "parser_33", match_err));;
+let parser_34 bits = 

   bitmatch bits with
   | { task_struct_state : zero+32 : offset(0), littleendian;
       task_struct_prio : zero+32 : offset(160), littleendian;
   bitmatch bits with
   | { task_struct_state : zero+32 : offset(0), littleendian;
       task_struct_prio : zero+32 : offset(160), littleendian;


@@ -779,8 +827,8 @@ let parser_32 bits =
         task_struct_pid = task_struct_pid;
         task_struct_comm = task_struct_comm }
   | { _ } ->
         task_struct_pid = task_struct_pid;
         task_struct_comm = task_struct_comm }
   | { _ } ->

-      raise (ParseError (struct_name, "parser_32", match_err));;
-let parser_33 bits = 
+      raise (ParseError (struct_name, "parser_34", match_err));;
+let parser_35 bits = 

   bitmatch bits with
   | { task_struct_state : zero+64 : offset(0), littleendian;
       task_struct_prio : zero+32 : offset(224), littleendian;
   bitmatch bits with
   | { task_struct_state : zero+64 : offset(0), littleendian;
       task_struct_prio : zero+32 : offset(224), littleendian;


@@ -803,8 +851,56 @@ let parser_33 bits =
         task_struct_pid = task_struct_pid;
         task_struct_comm = task_struct_comm }
   | { _ } ->
         task_struct_pid = task_struct_pid;
         task_struct_comm = task_struct_comm }
   | { _ } ->

-      raise (ParseError (struct_name, "parser_33", match_err));;
-let parser_34 bits = 
+      raise (ParseError (struct_name, "parser_35", match_err));;
+let parser_36 bits = 
+  bitmatch bits with
+  | { task_struct_state : zero+32 : offset(0), littleendian;
+      task_struct_prio : zero+32 : offset(192), littleendian;
+      task_struct_static_prio : zero+32 : offset(224), littleendian;
+      task_struct_normal_prio : zero+32 : offset(256), littleendian;
+      task_struct_tasks'next : zero+32 : offset(3328), littleendian;
+      task_struct_tasks'prev : zero+32 : offset(3360), littleendian;
+      task_struct_mm : zero+32 : offset(3392), littleendian;
+      task_struct_active_mm : zero+32 : offset(3424), littleendian;
+      task_struct_pid : zero+32 : offset(3680), littleendian;
+      task_struct_comm : 128 : offset(6056), string } ->
+      { task_struct_state = task_struct_state;
+        task_struct_prio = task_struct_prio;
+        task_struct_static_prio = task_struct_static_prio;
+        task_struct_normal_prio = task_struct_normal_prio;
+        task_struct_tasks'next = Int64.sub task_struct_tasks'next 416L;
+        task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 420L;
+        task_struct_mm = task_struct_mm;
+        task_struct_active_mm = task_struct_active_mm;
+        task_struct_pid = task_struct_pid;
+        task_struct_comm = task_struct_comm }
+  | { _ } ->
+      raise (ParseError (struct_name, "parser_36", match_err));;
+let parser_37 bits = 
+  bitmatch bits with
+  | { task_struct_state : zero+64 : offset(0), bigendian;
+      task_struct_prio : zero+32 : offset(256), bigendian;
+      task_struct_static_prio : zero+32 : offset(288), bigendian;
+      task_struct_normal_prio : zero+32 : offset(320), bigendian;
+      task_struct_tasks'next : zero+64 : offset(4096), bigendian;
+      task_struct_tasks'prev : zero+64 : offset(4160), bigendian;
+      task_struct_mm : zero+64 : offset(4224), bigendian;
+      task_struct_active_mm : zero+64 : offset(4288), bigendian;
+      task_struct_pid : zero+32 : offset(4608), bigendian;
+      task_struct_comm : 128 : offset(8712), string } ->
+      { task_struct_state = task_struct_state;
+        task_struct_prio = task_struct_prio;
+        task_struct_static_prio = task_struct_static_prio;
+        task_struct_normal_prio = task_struct_normal_prio;
+        task_struct_tasks'next = Int64.sub task_struct_tasks'next 512L;
+        task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 520L;
+        task_struct_mm = task_struct_mm;
+        task_struct_active_mm = task_struct_active_mm;
+        task_struct_pid = task_struct_pid;
+        task_struct_comm = task_struct_comm }
+  | { _ } ->
+      raise (ParseError (struct_name, "parser_37", match_err));;
+let parser_38 bits = 

   bitmatch bits with
   | { task_struct_state : zero+64 : offset(0), littleendian;
       task_struct_prio : zero+32 : offset(320), littleendian;
   bitmatch bits with
   | { task_struct_state : zero+64 : offset(0), littleendian;
       task_struct_prio : zero+32 : offset(320), littleendian;


@@ -827,7 +923,7 @@ let parser_34 bits =
         task_struct_pid = task_struct_pid;
         task_struct_comm = task_struct_comm }
   | { _ } ->
         task_struct_pid = task_struct_pid;
         task_struct_comm = task_struct_comm }
   | { _ } ->

-      raise (ParseError (struct_name, "parser_34", match_err));;
+      raise (ParseError (struct_name, "parser_38", match_err));;

 module StringMap = Map.Make(String);;
 let map = StringMap.empty;;
 let v = (parser_1, 2704);;
 module StringMap = Map.Make(String);;
 let map = StringMap.empty;;
 let v = (parser_1, 2704);;


@@ -842,6 +938,8 @@ let v = (parser_2, 3364);;
 let map = StringMap.add "2.6.23.14-135.fc8.i686" v map;;
 let v = (parser_2, 3364);;
 let map = StringMap.add "2.6.23.14-78.fc7.i686" v map;;
 let map = StringMap.add "2.6.23.14-135.fc8.i686" v map;;
 let v = (parser_2, 3364);;
 let map = StringMap.add "2.6.23.14-78.fc7.i686" v map;;

+let v = (parser_3, 4180);;
+let map = StringMap.add "2.6.26.2-2.fc8.i686" v map;;

 let v = (parser_1, 1400);;
 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
 let v = (parser_1, 2704);;
 let v = (parser_1, 1400);;
 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
 let v = (parser_1, 2704);;


@@ -864,397 +962,411 @@ let v = (parser_1, 2712);;
 let map = StringMap.add "2.6.21-1.3221.fc8.i686" v map;;
 let v = (parser_1, 1376);;
 let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;;
 let map = StringMap.add "2.6.21-1.3221.fc8.i686" v map;;
 let v = (parser_1, 1376);;
 let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;;

-let v = (parser_3, 2880);;
-let map = StringMap.add "2.6.21-1.3234.fc8.i686" v map;;

 let v = (parser_4, 2880);;
 let v = (parser_4, 2880);;

+let map = StringMap.add "2.6.21-1.3234.fc8.i686" v map;;
+let v = (parser_5, 2880);;

 let map = StringMap.add "2.6.21-1.3236.fc8.i686" v map;;
 let map = StringMap.add "2.6.21-1.3236.fc8.i686" v map;;

-let v = (parser_5, 2872);;
+let v = (parser_6, 2872);;

 let map = StringMap.add "2.6.21-1.3238.fc8.i686" v map;;
 let map = StringMap.add "2.6.21-1.3238.fc8.i686" v map;;

-let v = (parser_5, 2872);;
+let v = (parser_6, 2872);;

 let map = StringMap.add "2.6.21-1.3242.fc8.i686" v map;;
 let map = StringMap.add "2.6.21-1.3242.fc8.i686" v map;;

-let v = (parser_6, 2856);;
+let v = (parser_7, 2856);;

 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.i686" v map;;
 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.i686" v map;;

-let v = (parser_5, 2872);;
+let v = (parser_6, 2872);;

 let map = StringMap.add "2.6.22-0.rc7.2.fc8.i686" v map;;
 let v = (parser_2, 1548);;
 let map = StringMap.add "2.6.23.14-135.fc8.i686" v map;;
 let v = (parser_2, 1548);;
 let map = StringMap.add "2.6.23.14-78.fc7.i686" v map;;
 let map = StringMap.add "2.6.22-0.rc7.2.fc8.i686" v map;;
 let v = (parser_2, 1548);;
 let map = StringMap.add "2.6.23.14-135.fc8.i686" v map;;
 let v = (parser_2, 1548);;
 let map = StringMap.add "2.6.23.14-78.fc7.i686" v map;;

-let v = (parser_7, 3540);;
+let v = (parser_8, 3540);;

 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.i686" v map;;
 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.i686" v map;;

-let v = (parser_7, 3540);;
+let v = (parser_8, 3540);;

 let map = StringMap.add "2.6.24-7.fc9.i686" v map;;
 let map = StringMap.add "2.6.24-7.fc9.i686" v map;;

-let v = (parser_7, 3540);;
+let v = (parser_8, 3540);;

 let map = StringMap.add "2.6.24-9.fc9.i686" v map;;
 let map = StringMap.add "2.6.24-9.fc9.i686" v map;;

+let v = (parser_3, 1328);;
+let map = StringMap.add "2.6.26.2-2.fc8.i686" v map;;

 let v = (parser_1, 2704);;
 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
 let v = (parser_1, 2704);;
 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;

-let v = (parser_8, 3772);;
+let v = (parser_9, 3772);;

 let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;;
 let v = (parser_1, 2704);;
 let map = StringMap.add "2.6.21-1.3145.fc7.i686" v map;;
 let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;;
 let v = (parser_1, 2704);;
 let map = StringMap.add "2.6.21-1.3145.fc7.i686" v map;;

-let v = (parser_8, 3772);;
+let v = (parser_9, 3772);;

 let map = StringMap.add "2.6.21-1.3145.fc7.x86_64" v map;;
 let v = (parser_1, 2704);;
 let map = StringMap.add "2.6.21-1.3190.fc7.i686" v map;;
 let map = StringMap.add "2.6.21-1.3145.fc7.x86_64" v map;;
 let v = (parser_1, 2704);;
 let map = StringMap.add "2.6.21-1.3190.fc7.i686" v map;;

-let v = (parser_8, 3772);;
+let v = (parser_9, 3772);;

 let map = StringMap.add "2.6.21-1.3190.fc7.x86_64" v map;;
 let v = (parser_1, 2704);;
 let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;;
 let map = StringMap.add "2.6.21-1.3190.fc7.x86_64" v map;;
 let v = (parser_1, 2704);;
 let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;;

-let v = (parser_8, 3772);;
+let v = (parser_9, 3772);;

 let map = StringMap.add "2.6.21-1.3228.fc7.x86_64" v map;;
 let v = (parser_2, 3364);;
 let map = StringMap.add "2.6.23.14-135.fc8.i686" v map;;
 let map = StringMap.add "2.6.21-1.3228.fc7.x86_64" v map;;
 let v = (parser_2, 3364);;
 let map = StringMap.add "2.6.23.14-135.fc8.i686" v map;;

-let v = (parser_9, 4468);;
+let v = (parser_10, 4468);;

 let map = StringMap.add "2.6.23.14-135.fc8.x86_64" v map;;
 let map = StringMap.add "2.6.23.14-135.fc8.x86_64" v map;;

-let v = (parser_9, 4468);;
+let v = (parser_10, 4468);;

 let map = StringMap.add "2.6.23.14-78.fc7.x86_64" v map;;
 let map = StringMap.add "2.6.23.14-78.fc7.x86_64" v map;;

+let v = (parser_3, 4180);;
+let map = StringMap.add "2.6.26.2-2.fc8.i686" v map;;
+let v = (parser_11, 5808);;
+let map = StringMap.add "2.6.26.2-2.fc8.x86_64" v map;;

 let v = (parser_1, 1384);;
 let map = StringMap.add "2.6.18-1.2798.fc6.i586" v map;;
 let v = (parser_1, 1384);;
 let map = StringMap.add "2.6.18-1.2798.fc6.i686" v map;;
 let v = (parser_1, 1384);;
 let map = StringMap.add "2.6.18-1.2798.fc6.i586" v map;;
 let v = (parser_1, 1384);;
 let map = StringMap.add "2.6.18-1.2798.fc6.i686" v map;;

-let v = (parser_10, 1576);;
+let v = (parser_12, 1576);;

 let map = StringMap.add "2.6.18-1.2798.fc6.ppc" v map;;
 let map = StringMap.add "2.6.18-1.2798.fc6.ppc" v map;;

-let v = (parser_11, 2104);;
+let v = (parser_13, 2104);;

 let map = StringMap.add "2.6.18-1.2798.fc6.ppc64" v map;;
 let map = StringMap.add "2.6.18-1.2798.fc6.ppc64" v map;;

-let v = (parser_11, 2088);;
+let v = (parser_13, 2088);;

 let map = StringMap.add "2.6.18-1.2798.fc6.ppc64iseries" v map;;
 let map = StringMap.add "2.6.18-1.2798.fc6.ppc64iseries" v map;;

-let v = (parser_12, 1928);;
+let v = (parser_14, 1928);;

 let map = StringMap.add "2.6.18-1.2798.fc6.x86_64" v map;;
 let v = (parser_1, 1400);;
 let map = StringMap.add "2.6.20-1.2933.fc6.i586" v map;;
 let v = (parser_1, 1400);;
 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
 let map = StringMap.add "2.6.18-1.2798.fc6.x86_64" v map;;
 let v = (parser_1, 1400);;
 let map = StringMap.add "2.6.20-1.2933.fc6.i586" v map;;
 let v = (parser_1, 1400);;
 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;

-let v = (parser_10, 1592);;
+let v = (parser_12, 1592);;

 let map = StringMap.add "2.6.20-1.2933.fc6.ppc" v map;;
 let map = StringMap.add "2.6.20-1.2933.fc6.ppc" v map;;

-let v = (parser_11, 2112);;
+let v = (parser_13, 2112);;

 let map = StringMap.add "2.6.20-1.2933.fc6.ppc64" v map;;
 let map = StringMap.add "2.6.20-1.2933.fc6.ppc64" v map;;

-let v = (parser_8, 1920);;
+let v = (parser_9, 1920);;

 let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;;
 let v = (parser_1, 2704);;
 let map = StringMap.add "2.6.21-1.3128.fc7.i586" v map;;
 let v = (parser_1, 2704);;
 let map = StringMap.add "2.6.21-1.3128.fc7.i686" v map;;
 let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;;
 let v = (parser_1, 2704);;
 let map = StringMap.add "2.6.21-1.3128.fc7.i586" v map;;
 let v = (parser_1, 2704);;
 let map = StringMap.add "2.6.21-1.3128.fc7.i686" v map;;

-let v = (parser_10, 1604);;
+let v = (parser_12, 1604);;

 let map = StringMap.add "2.6.21-1.3128.fc7.ppc" v map;;
 let map = StringMap.add "2.6.21-1.3128.fc7.ppc" v map;;

-let v = (parser_11, 2132);;
+let v = (parser_13, 2132);;

 let map = StringMap.add "2.6.21-1.3128.fc7.ppc64" v map;;
 let map = StringMap.add "2.6.21-1.3128.fc7.ppc64" v map;;

-let v = (parser_8, 3772);;
+let v = (parser_9, 3772);;

 let map = StringMap.add "2.6.21-1.3128.fc7.x86_64" v map;;
 let v = (parser_1, 2704);;
 let map = StringMap.add "2.6.21-1.3132.fc7.i586" v map;;
 let v = (parser_1, 2704);;
 let map = StringMap.add "2.6.21-1.3132.fc7.i686" v map;;
 let map = StringMap.add "2.6.21-1.3128.fc7.x86_64" v map;;
 let v = (parser_1, 2704);;
 let map = StringMap.add "2.6.21-1.3132.fc7.i586" v map;;
 let v = (parser_1, 2704);;
 let map = StringMap.add "2.6.21-1.3132.fc7.i686" v map;;

-let v = (parser_10, 1604);;
+let v = (parser_12, 1604);;

 let map = StringMap.add "2.6.21-1.3132.fc7.ppc" v map;;
 let map = StringMap.add "2.6.21-1.3132.fc7.ppc" v map;;

-let v = (parser_11, 2132);;
+let v = (parser_13, 2132);;

 let map = StringMap.add "2.6.21-1.3132.fc7.ppc64" v map;;
 let map = StringMap.add "2.6.21-1.3132.fc7.ppc64" v map;;

-let v = (parser_8, 3772);;
+let v = (parser_9, 3772);;

 let map = StringMap.add "2.6.21-1.3132.fc7.x86_64" v map;;
 let v = (parser_1, 2704);;
 let map = StringMap.add "2.6.21-1.3141.fc7.i586" v map;;
 let v = (parser_1, 2704);;
 let map = StringMap.add "2.6.21-1.3141.fc7.i686" v map;;
 let map = StringMap.add "2.6.21-1.3132.fc7.x86_64" v map;;
 let v = (parser_1, 2704);;
 let map = StringMap.add "2.6.21-1.3141.fc7.i586" v map;;
 let v = (parser_1, 2704);;
 let map = StringMap.add "2.6.21-1.3141.fc7.i686" v map;;

-let v = (parser_10, 1604);;
+let v = (parser_12, 1604);;

 let map = StringMap.add "2.6.21-1.3141.fc7.ppc" v map;;
 let map = StringMap.add "2.6.21-1.3141.fc7.ppc" v map;;

-let v = (parser_11, 2132);;
+let v = (parser_13, 2132);;

 let map = StringMap.add "2.6.21-1.3141.fc7.ppc64" v map;;
 let map = StringMap.add "2.6.21-1.3141.fc7.ppc64" v map;;

-let v = (parser_8, 3772);;
+let v = (parser_9, 3772);;

 let map = StringMap.add "2.6.21-1.3141.fc7.x86_64" v map;;
 let v = (parser_1, 2704);;
 let map = StringMap.add "2.6.21-1.3144.fc7.i586" v map;;
 let v = (parser_1, 2704);;
 let map = StringMap.add "2.6.21-1.3144.fc7.i686" v map;;
 let map = StringMap.add "2.6.21-1.3141.fc7.x86_64" v map;;
 let v = (parser_1, 2704);;
 let map = StringMap.add "2.6.21-1.3144.fc7.i586" v map;;
 let v = (parser_1, 2704);;
 let map = StringMap.add "2.6.21-1.3144.fc7.i686" v map;;

-let v = (parser_10, 1604);;
+let v = (parser_12, 1604);;

 let map = StringMap.add "2.6.21-1.3144.fc7.ppc" v map;;
 let map = StringMap.add "2.6.21-1.3144.fc7.ppc" v map;;

-let v = (parser_11, 2132);;
+let v = (parser_13, 2132);;

 let map = StringMap.add "2.6.21-1.3144.fc7.ppc64" v map;;
 let map = StringMap.add "2.6.21-1.3144.fc7.ppc64" v map;;

-let v = (parser_8, 3772);;
+let v = (parser_9, 3772);;

 let map = StringMap.add "2.6.21-1.3144.fc7.x86_64" v map;;
 let v = (parser_1, 1400);;
 let map = StringMap.add "2.6.21-1.3145.fc7.i586" v map;;
 let v = (parser_1, 1400);;
 let map = StringMap.add "2.6.21-1.3145.fc7.i686" v map;;
 let map = StringMap.add "2.6.21-1.3144.fc7.x86_64" v map;;
 let v = (parser_1, 1400);;
 let map = StringMap.add "2.6.21-1.3145.fc7.i586" v map;;
 let v = (parser_1, 1400);;
 let map = StringMap.add "2.6.21-1.3145.fc7.i686" v map;;

-let v = (parser_10, 1592);;
+let v = (parser_12, 1592);;

 let map = StringMap.add "2.6.21-1.3145.fc7.ppc" v map;;
 let map = StringMap.add "2.6.21-1.3145.fc7.ppc" v map;;

-let v = (parser_11, 2112);;
+let v = (parser_13, 2112);;

 let map = StringMap.add "2.6.21-1.3145.fc7.ppc64" v map;;
 let map = StringMap.add "2.6.21-1.3145.fc7.ppc64" v map;;

-let v = (parser_8, 1920);;
+let v = (parser_9, 1920);;

 let map = StringMap.add "2.6.21-1.3145.fc7.x86_64" v map;;
 let v = (parser_1, 1400);;
 let map = StringMap.add "2.6.21-1.3190.fc7.i586" v map;;
 let v = (parser_1, 1400);;
 let map = StringMap.add "2.6.21-1.3190.fc7.i686" v map;;
 let map = StringMap.add "2.6.21-1.3145.fc7.x86_64" v map;;
 let v = (parser_1, 1400);;
 let map = StringMap.add "2.6.21-1.3190.fc7.i586" v map;;
 let v = (parser_1, 1400);;
 let map = StringMap.add "2.6.21-1.3190.fc7.i686" v map;;

-let v = (parser_10, 1592);;
+let v = (parser_12, 1592);;

 let map = StringMap.add "2.6.21-1.3190.fc7.ppc" v map;;
 let map = StringMap.add "2.6.21-1.3190.fc7.ppc" v map;;

-let v = (parser_11, 2112);;
+let v = (parser_13, 2112);;

 let map = StringMap.add "2.6.21-1.3190.fc7.ppc64" v map;;
 let map = StringMap.add "2.6.21-1.3190.fc7.ppc64" v map;;

-let v = (parser_8, 1920);;
+let v = (parser_9, 1920);;

 let map = StringMap.add "2.6.21-1.3190.fc7.x86_64" v map;;
 let v = (parser_1, 2712);;
 let map = StringMap.add "2.6.21-1.3209.fc8.i586" v map;;
 let v = (parser_1, 2712);;
 let map = StringMap.add "2.6.21-1.3209.fc8.i686" v map;;
 let map = StringMap.add "2.6.21-1.3190.fc7.x86_64" v map;;
 let v = (parser_1, 2712);;
 let map = StringMap.add "2.6.21-1.3209.fc8.i586" v map;;
 let v = (parser_1, 2712);;
 let map = StringMap.add "2.6.21-1.3209.fc8.i686" v map;;

-let v = (parser_10, 1612);;
+let v = (parser_12, 1612);;

 let map = StringMap.add "2.6.21-1.3209.fc8.ppc" v map;;
 let map = StringMap.add "2.6.21-1.3209.fc8.ppc" v map;;

-let v = (parser_13, 2116);;
+let v = (parser_15, 2116);;

 let map = StringMap.add "2.6.21-1.3209.fc8.ppc64" v map;;
 let map = StringMap.add "2.6.21-1.3209.fc8.ppc64" v map;;

-let v = (parser_14, 3756);;
+let v = (parser_16, 3756);;

 let map = StringMap.add "2.6.21-1.3209.fc8.x86_64" v map;;
 let v = (parser_1, 2712);;
 let map = StringMap.add "2.6.21-1.3218.fc8.i586" v map;;
 let v = (parser_1, 2712);;
 let map = StringMap.add "2.6.21-1.3218.fc8.i686" v map;;
 let map = StringMap.add "2.6.21-1.3209.fc8.x86_64" v map;;
 let v = (parser_1, 2712);;
 let map = StringMap.add "2.6.21-1.3218.fc8.i586" v map;;
 let v = (parser_1, 2712);;
 let map = StringMap.add "2.6.21-1.3218.fc8.i686" v map;;

-let v = (parser_10, 1612);;
+let v = (parser_12, 1612);;

 let map = StringMap.add "2.6.21-1.3218.fc8.ppc" v map;;
 let map = StringMap.add "2.6.21-1.3218.fc8.ppc" v map;;

-let v = (parser_13, 2116);;
+let v = (parser_15, 2116);;

 let map = StringMap.add "2.6.21-1.3218.fc8.ppc64" v map;;
 let map = StringMap.add "2.6.21-1.3218.fc8.ppc64" v map;;

-let v = (parser_14, 3756);;
+let v = (parser_16, 3756);;

 let map = StringMap.add "2.6.21-1.3218.fc8.x86_64" v map;;
 let v = (parser_1, 2712);;
 let map = StringMap.add "2.6.21-1.3221.fc8.i586" v map;;
 let v = (parser_1, 2712);;
 let map = StringMap.add "2.6.21-1.3221.fc8.i686" v map;;
 let map = StringMap.add "2.6.21-1.3218.fc8.x86_64" v map;;
 let v = (parser_1, 2712);;
 let map = StringMap.add "2.6.21-1.3221.fc8.i586" v map;;
 let v = (parser_1, 2712);;
 let map = StringMap.add "2.6.21-1.3221.fc8.i686" v map;;

-let v = (parser_10, 1612);;
+let v = (parser_12, 1612);;

 let map = StringMap.add "2.6.21-1.3221.fc8.ppc" v map;;
 let map = StringMap.add "2.6.21-1.3221.fc8.ppc" v map;;

-let v = (parser_13, 2116);;
+let v = (parser_15, 2116);;

 let map = StringMap.add "2.6.21-1.3221.fc8.ppc64" v map;;
 let map = StringMap.add "2.6.21-1.3221.fc8.ppc64" v map;;

-let v = (parser_14, 3756);;
+let v = (parser_16, 3756);;

 let map = StringMap.add "2.6.21-1.3221.fc8.x86_64" v map;;
 let v = (parser_1, 1376);;
 let map = StringMap.add "2.6.21-1.3228.fc7.i586" v map;;
 let v = (parser_1, 1376);;
 let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;;
 let map = StringMap.add "2.6.21-1.3221.fc8.x86_64" v map;;
 let v = (parser_1, 1376);;
 let map = StringMap.add "2.6.21-1.3228.fc7.i586" v map;;
 let v = (parser_1, 1376);;
 let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;;

-let v = (parser_10, 1560);;
+let v = (parser_12, 1560);;

 let map = StringMap.add "2.6.21-1.3228.fc7.ppc" v map;;
 let map = StringMap.add "2.6.21-1.3228.fc7.ppc" v map;;

-let v = (parser_11, 2072);;
+let v = (parser_13, 2072);;

 let map = StringMap.add "2.6.21-1.3228.fc7.ppc64" v map;;
 let map = StringMap.add "2.6.21-1.3228.fc7.ppc64" v map;;

-let v = (parser_8, 1880);;
+let v = (parser_9, 1880);;

 let map = StringMap.add "2.6.21-1.3228.fc7.x86_64" v map;;
 let map = StringMap.add "2.6.21-1.3228.fc7.x86_64" v map;;

-let v = (parser_3, 2880);;
+let v = (parser_4, 2880);;

 let map = StringMap.add "2.6.21-1.3234.fc8.i686" v map;;
 let map = StringMap.add "2.6.21-1.3234.fc8.i686" v map;;

-let v = (parser_15, 1780);;
+let v = (parser_17, 1780);;

 let map = StringMap.add "2.6.21-1.3234.fc8.ppc" v map;;
 let map = StringMap.add "2.6.21-1.3234.fc8.ppc" v map;;

-let v = (parser_16, 2292);;
+let v = (parser_18, 2292);;

 let map = StringMap.add "2.6.21-1.3234.fc8.ppc64" v map;;
 let map = StringMap.add "2.6.21-1.3234.fc8.ppc64" v map;;

-let v = (parser_17, 3932);;
+let v = (parser_19, 3932);;

 let map = StringMap.add "2.6.21-1.3234.fc8.x86_64" v map;;
 let map = StringMap.add "2.6.21-1.3234.fc8.x86_64" v map;;

-let v = (parser_4, 2880);;
+let v = (parser_5, 2880);;

 let map = StringMap.add "2.6.21-1.3236.fc8.i686" v map;;
 let map = StringMap.add "2.6.21-1.3236.fc8.i686" v map;;

-let v = (parser_18, 1780);;
+let v = (parser_20, 1780);;

 let map = StringMap.add "2.6.21-1.3236.fc8.ppc" v map;;
 let map = StringMap.add "2.6.21-1.3236.fc8.ppc" v map;;

-let v = (parser_19, 2308);;
+let v = (parser_21, 2308);;

 let map = StringMap.add "2.6.21-1.3236.fc8.ppc64" v map;;
 let map = StringMap.add "2.6.21-1.3236.fc8.ppc64" v map;;

-let v = (parser_20, 3948);;
+let v = (parser_22, 3948);;

 let map = StringMap.add "2.6.21-1.3236.fc8.x86_64" v map;;
 let map = StringMap.add "2.6.21-1.3236.fc8.x86_64" v map;;

-let v = (parser_5, 2872);;
+let v = (parser_6, 2872);;

 let map = StringMap.add "2.6.21-1.3238.fc8.i686" v map;;
 let map = StringMap.add "2.6.21-1.3238.fc8.i686" v map;;

-let v = (parser_21, 1756);;
+let v = (parser_23, 1756);;

 let map = StringMap.add "2.6.21-1.3238.fc8.ppc" v map;;
 let map = StringMap.add "2.6.21-1.3238.fc8.ppc" v map;;

-let v = (parser_22, 2276);;
+let v = (parser_24, 2276);;

 let map = StringMap.add "2.6.21-1.3238.fc8.ppc64" v map;;
 let map = StringMap.add "2.6.21-1.3238.fc8.ppc64" v map;;

-let v = (parser_23, 3916);;
+let v = (parser_25, 3916);;

 let map = StringMap.add "2.6.21-1.3238.fc8.x86_64" v map;;
 let map = StringMap.add "2.6.21-1.3238.fc8.x86_64" v map;;

-let v = (parser_5, 2872);;
+let v = (parser_6, 2872);;

 let map = StringMap.add "2.6.21-1.3242.fc8.i686" v map;;
 let map = StringMap.add "2.6.21-1.3242.fc8.i686" v map;;

-let v = (parser_21, 1756);;
+let v = (parser_23, 1756);;

 let map = StringMap.add "2.6.21-1.3242.fc8.ppc" v map;;
 let map = StringMap.add "2.6.21-1.3242.fc8.ppc" v map;;

-let v = (parser_22, 2276);;
+let v = (parser_24, 2276);;

 let map = StringMap.add "2.6.21-1.3242.fc8.ppc64" v map;;
 let map = StringMap.add "2.6.21-1.3242.fc8.ppc64" v map;;

-let v = (parser_23, 3916);;
+let v = (parser_25, 3916);;

 let map = StringMap.add "2.6.21-1.3242.fc8.x86_64" v map;;
 let map = StringMap.add "2.6.21-1.3242.fc8.x86_64" v map;;

-let v = (parser_6, 2856);;
+let v = (parser_7, 2856);;

 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.i686" v map;;
 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.i686" v map;;

-let v = (parser_24, 1756);;
+let v = (parser_26, 1756);;

 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc" v map;;
 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc" v map;;

-let v = (parser_25, 2292);;
+let v = (parser_27, 2292);;

 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc64" v map;;
 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc64" v map;;

-let v = (parser_26, 3932);;
+let v = (parser_28, 3932);;

 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.x86_64" v map;;
 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.x86_64" v map;;

-let v = (parser_5, 2872);;
+let v = (parser_6, 2872);;

 let map = StringMap.add "2.6.22-0.rc7.2.fc8.i686" v map;;
 let map = StringMap.add "2.6.22-0.rc7.2.fc8.i686" v map;;

-let v = (parser_21, 1756);;
+let v = (parser_23, 1756);;

 let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc" v map;;
 let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc" v map;;

-let v = (parser_22, 2276);;
+let v = (parser_24, 2276);;

 let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc64" v map;;
 let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc64" v map;;

-let v = (parser_23, 3916);;
+let v = (parser_25, 3916);;

 let map = StringMap.add "2.6.22-0.rc7.2.fc8.x86_64" v map;;
 let v = (parser_2, 1548);;
 let map = StringMap.add "2.6.23.14-135.fc8.i586" v map;;
 let v = (parser_2, 1548);;
 let map = StringMap.add "2.6.23.14-135.fc8.i686" v map;;
 let map = StringMap.add "2.6.22-0.rc7.2.fc8.x86_64" v map;;
 let v = (parser_2, 1548);;
 let map = StringMap.add "2.6.23.14-135.fc8.i586" v map;;
 let v = (parser_2, 1548);;
 let map = StringMap.add "2.6.23.14-135.fc8.i686" v map;;

-let v = (parser_27, 1736);;
+let v = (parser_29, 1736);;

 let map = StringMap.add "2.6.23.14-135.fc8.ppc" v map;;
 let map = StringMap.add "2.6.23.14-135.fc8.ppc" v map;;

-let v = (parser_28, 2272);;
+let v = (parser_30, 2272);;

 let map = StringMap.add "2.6.23.14-135.fc8.ppc64" v map;;
 let map = StringMap.add "2.6.23.14-135.fc8.ppc64" v map;;

-let v = (parser_9, 2080);;
+let v = (parser_10, 2080);;

 let map = StringMap.add "2.6.23.14-135.fc8.x86_64" v map;;
 let v = (parser_2, 1548);;
 let map = StringMap.add "2.6.23.14-78.fc7.i586" v map;;
 let v = (parser_2, 1548);;
 let map = StringMap.add "2.6.23.14-78.fc7.i686" v map;;
 let map = StringMap.add "2.6.23.14-135.fc8.x86_64" v map;;
 let v = (parser_2, 1548);;
 let map = StringMap.add "2.6.23.14-78.fc7.i586" v map;;
 let v = (parser_2, 1548);;
 let map = StringMap.add "2.6.23.14-78.fc7.i686" v map;;

-let v = (parser_27, 1736);;
+let v = (parser_29, 1736);;

 let map = StringMap.add "2.6.23.14-78.fc7.ppc" v map;;
 let map = StringMap.add "2.6.23.14-78.fc7.ppc" v map;;

-let v = (parser_28, 2272);;
+let v = (parser_30, 2272);;

 let map = StringMap.add "2.6.23.14-78.fc7.ppc64" v map;;
 let map = StringMap.add "2.6.23.14-78.fc7.ppc64" v map;;

-let v = (parser_9, 2080);;
+let v = (parser_10, 2080);;

 let map = StringMap.add "2.6.23.14-78.fc7.x86_64" v map;;
 let map = StringMap.add "2.6.23.14-78.fc7.x86_64" v map;;

-let v = (parser_7, 3540);;
+let v = (parser_8, 3540);;

 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.i586" v map;;
 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.i586" v map;;

-let v = (parser_7, 3540);;
+let v = (parser_8, 3540);;

 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.i686" v map;;
 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.i686" v map;;

-let v = (parser_29, 1936);;
+let v = (parser_31, 1936);;

 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc" v map;;
 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc" v map;;

-let v = (parser_30, 2492);;
+let v = (parser_32, 2492);;

 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc64" v map;;
 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc64" v map;;

-let v = (parser_31, 4684);;
+let v = (parser_33, 4684);;

 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.x86_64" v map;;
 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.x86_64" v map;;

-let v = (parser_7, 3540);;
+let v = (parser_8, 3540);;

 let map = StringMap.add "2.6.24-7.fc9.i586" v map;;
 let map = StringMap.add "2.6.24-7.fc9.i586" v map;;

-let v = (parser_7, 3540);;
+let v = (parser_8, 3540);;

 let map = StringMap.add "2.6.24-7.fc9.i686" v map;;
 let map = StringMap.add "2.6.24-7.fc9.i686" v map;;

-let v = (parser_29, 1936);;
+let v = (parser_31, 1936);;

 let map = StringMap.add "2.6.24-7.fc9.ppc" v map;;
 let map = StringMap.add "2.6.24-7.fc9.ppc" v map;;

-let v = (parser_30, 2492);;
+let v = (parser_32, 2492);;

 let map = StringMap.add "2.6.24-7.fc9.ppc64" v map;;
 let map = StringMap.add "2.6.24-7.fc9.ppc64" v map;;

-let v = (parser_31, 4684);;
+let v = (parser_33, 4684);;

 let map = StringMap.add "2.6.24-7.fc9.x86_64" v map;;
 let map = StringMap.add "2.6.24-7.fc9.x86_64" v map;;

-let v = (parser_7, 3540);;
+let v = (parser_8, 3540);;

 let map = StringMap.add "2.6.24-9.fc9.i586" v map;;
 let map = StringMap.add "2.6.24-9.fc9.i586" v map;;

-let v = (parser_7, 3540);;
+let v = (parser_8, 3540);;

 let map = StringMap.add "2.6.24-9.fc9.i686" v map;;
 let map = StringMap.add "2.6.24-9.fc9.i686" v map;;

-let v = (parser_29, 1936);;
+let v = (parser_31, 1936);;

 let map = StringMap.add "2.6.24-9.fc9.ppc" v map;;
 let map = StringMap.add "2.6.24-9.fc9.ppc" v map;;

-let v = (parser_30, 2492);;
+let v = (parser_32, 2492);;

 let map = StringMap.add "2.6.24-9.fc9.ppc64" v map;;
 let map = StringMap.add "2.6.24-9.fc9.ppc64" v map;;

-let v = (parser_31, 4684);;
+let v = (parser_33, 4684);;

 let map = StringMap.add "2.6.24-9.fc9.x86_64" v map;;
 let map = StringMap.add "2.6.24-9.fc9.x86_64" v map;;

-let v = (parser_32, 1832);;
+let v = (parser_34, 1832);;

 let map = StringMap.add "2.6.25.11-97.fc9.i686" v map;;
 let map = StringMap.add "2.6.25.11-97.fc9.i686" v map;;

-let v = (parser_33, 2496);;
+let v = (parser_35, 2496);;

 let map = StringMap.add "2.6.25.11-97.fc9.x86_64" v map;;
 let map = StringMap.add "2.6.25.11-97.fc9.x86_64" v map;;

+let v = (parser_36, 1324);;
+let map = StringMap.add "2.6.26.2-2.fc8.i586" v map;;
+let v = (parser_3, 1328);;
+let map = StringMap.add "2.6.26.2-2.fc8.i686" v map;;
+let v = (parser_37, 2572);;
+let map = StringMap.add "2.6.26.2-2.fc8.ppc64" v map;;

 let v = (parser_1, 1368);;
 let map = StringMap.add "2.6.18-1.2798.fc6.i686" v map;;
 let v = (parser_1, 1368);;
 let map = StringMap.add "2.6.18-1.2798.fc6.i686" v map;;

-let v = (parser_11, 2104);;
+let v = (parser_13, 2104);;

 let map = StringMap.add "2.6.18-1.2798.fc6.ppc64" v map;;
 let map = StringMap.add "2.6.18-1.2798.fc6.ppc64" v map;;

-let v = (parser_11, 2088);;
+let v = (parser_13, 2088);;

 let map = StringMap.add "2.6.18-1.2798.fc6.ppc64iseries" v map;;
 let map = StringMap.add "2.6.18-1.2798.fc6.ppc64iseries" v map;;

-let v = (parser_34, 1856);;
+let v = (parser_38, 1856);;

 let map = StringMap.add "2.6.18-1.2798.fc6.x86_64" v map;;
 let v = (parser_1, 1384);;
 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
 let map = StringMap.add "2.6.18-1.2798.fc6.x86_64" v map;;
 let v = (parser_1, 1384);;
 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;

-let v = (parser_11, 2112);;
+let v = (parser_13, 2112);;

 let map = StringMap.add "2.6.20-1.2933.fc6.ppc64" v map;;
 let map = StringMap.add "2.6.20-1.2933.fc6.ppc64" v map;;

-let v = (parser_8, 1880);;
+let v = (parser_9, 1880);;

 let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;;
 let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;;

-let v = (parser_11, 2132);;
+let v = (parser_13, 2132);;

 let map = StringMap.add "2.6.21-1.3128.fc7.ppc64" v map;;
 let map = StringMap.add "2.6.21-1.3128.fc7.ppc64" v map;;

-let v = (parser_8, 3780);;
+let v = (parser_9, 3780);;

 let map = StringMap.add "2.6.21-1.3128.fc7.x86_64" v map;;
 let map = StringMap.add "2.6.21-1.3128.fc7.x86_64" v map;;

-let v = (parser_11, 2132);;
+let v = (parser_13, 2132);;

 let map = StringMap.add "2.6.21-1.3132.fc7.ppc64" v map;;
 let map = StringMap.add "2.6.21-1.3132.fc7.ppc64" v map;;

-let v = (parser_8, 3780);;
+let v = (parser_9, 3780);;

 let map = StringMap.add "2.6.21-1.3132.fc7.x86_64" v map;;
 let map = StringMap.add "2.6.21-1.3132.fc7.x86_64" v map;;

-let v = (parser_11, 2132);;
+let v = (parser_13, 2132);;

 let map = StringMap.add "2.6.21-1.3141.fc7.ppc64" v map;;
 let map = StringMap.add "2.6.21-1.3141.fc7.ppc64" v map;;

-let v = (parser_8, 3780);;
+let v = (parser_9, 3780);;

 let map = StringMap.add "2.6.21-1.3141.fc7.x86_64" v map;;
 let map = StringMap.add "2.6.21-1.3141.fc7.x86_64" v map;;

-let v = (parser_11, 2132);;
+let v = (parser_13, 2132);;

 let map = StringMap.add "2.6.21-1.3144.fc7.ppc64" v map;;
 let map = StringMap.add "2.6.21-1.3144.fc7.ppc64" v map;;

-let v = (parser_8, 3780);;
+let v = (parser_9, 3780);;

 let map = StringMap.add "2.6.21-1.3144.fc7.x86_64" v map;;
 let map = StringMap.add "2.6.21-1.3144.fc7.x86_64" v map;;

-let v = (parser_11, 2112);;
+let v = (parser_13, 2112);;

 let map = StringMap.add "2.6.21-1.3145.fc7.ppc64" v map;;
 let map = StringMap.add "2.6.21-1.3145.fc7.ppc64" v map;;

-let v = (parser_8, 1880);;
+let v = (parser_9, 1880);;

 let map = StringMap.add "2.6.21-1.3145.fc7.x86_64" v map;;
 let map = StringMap.add "2.6.21-1.3145.fc7.x86_64" v map;;

-let v = (parser_11, 2112);;
+let v = (parser_13, 2112);;

 let map = StringMap.add "2.6.21-1.3190.fc7.ppc64" v map;;
 let map = StringMap.add "2.6.21-1.3190.fc7.ppc64" v map;;

-let v = (parser_8, 1880);;
+let v = (parser_9, 1880);;

 let map = StringMap.add "2.6.21-1.3190.fc7.x86_64" v map;;
 let map = StringMap.add "2.6.21-1.3190.fc7.x86_64" v map;;

-let v = (parser_13, 2116);;
+let v = (parser_15, 2116);;

 let map = StringMap.add "2.6.21-1.3209.fc8.ppc64" v map;;
 let map = StringMap.add "2.6.21-1.3209.fc8.ppc64" v map;;

-let v = (parser_13, 2116);;
+let v = (parser_15, 2116);;

 let map = StringMap.add "2.6.21-1.3218.fc8.ppc64" v map;;
 let map = StringMap.add "2.6.21-1.3218.fc8.ppc64" v map;;

-let v = (parser_13, 2116);;
+let v = (parser_15, 2116);;

 let map = StringMap.add "2.6.21-1.3221.fc8.ppc64" v map;;
 let map = StringMap.add "2.6.21-1.3221.fc8.ppc64" v map;;

-let v = (parser_11, 2072);;
+let v = (parser_13, 2072);;

 let map = StringMap.add "2.6.21-1.3228.fc7.ppc64" v map;;
 let map = StringMap.add "2.6.21-1.3228.fc7.ppc64" v map;;

-let v = (parser_8, 1832);;
+let v = (parser_9, 1832);;

 let map = StringMap.add "2.6.21-1.3228.fc7.x86_64" v map;;
 let map = StringMap.add "2.6.21-1.3228.fc7.x86_64" v map;;

-let v = (parser_16, 2292);;
+let v = (parser_18, 2292);;

 let map = StringMap.add "2.6.21-1.3234.fc8.ppc64" v map;;
 let map = StringMap.add "2.6.21-1.3234.fc8.ppc64" v map;;

-let v = (parser_19, 2308);;
+let v = (parser_21, 2308);;

 let map = StringMap.add "2.6.21-1.3236.fc8.ppc64" v map;;
 let map = StringMap.add "2.6.21-1.3236.fc8.ppc64" v map;;

-let v = (parser_22, 2276);;
+let v = (parser_24, 2276);;

 let map = StringMap.add "2.6.21-1.3238.fc8.ppc64" v map;;
 let map = StringMap.add "2.6.21-1.3238.fc8.ppc64" v map;;

-let v = (parser_22, 2276);;
+let v = (parser_24, 2276);;

 let map = StringMap.add "2.6.21-1.3242.fc8.ppc64" v map;;
 let map = StringMap.add "2.6.21-1.3242.fc8.ppc64" v map;;

-let v = (parser_25, 2292);;
+let v = (parser_27, 2292);;

 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc64" v map;;
 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc64" v map;;

-let v = (parser_22, 2276);;
+let v = (parser_24, 2276);;

 let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc64" v map;;
 let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc64" v map;;

-let v = (parser_28, 2272);;
+let v = (parser_30, 2272);;

 let map = StringMap.add "2.6.23.14-135.fc8.ppc64" v map;;
 let map = StringMap.add "2.6.23.14-135.fc8.ppc64" v map;;

-let v = (parser_28, 2272);;
+let v = (parser_30, 2272);;

 let map = StringMap.add "2.6.23.14-78.fc7.ppc64" v map;;
 let map = StringMap.add "2.6.23.14-78.fc7.ppc64" v map;;

-let v = (parser_30, 2492);;
+let v = (parser_32, 2492);;

 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc64" v map;;
 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc64" v map;;

-let v = (parser_30, 2492);;
+let v = (parser_32, 2492);;

 let map = StringMap.add "2.6.24-7.fc9.ppc64" v map;;
 let map = StringMap.add "2.6.24-7.fc9.ppc64" v map;;

-let v = (parser_30, 2492);;
+let v = (parser_32, 2492);;

 let map = StringMap.add "2.6.24-9.fc9.ppc64" v map;;
 let map = StringMap.add "2.6.24-9.fc9.ppc64" v map;;

-let v = (parser_10, 1592);;
+let v = (parser_37, 2572);;
+let map = StringMap.add "2.6.26.2-2.fc8.ppc64" v map;;
+let v = (parser_12, 1592);;

 let map = StringMap.add "2.6.18-1.2798.fc6.ppc" v map;;
 let map = StringMap.add "2.6.18-1.2798.fc6.ppc" v map;;

-let v = (parser_10, 1608);;
+let v = (parser_12, 1608);;

 let map = StringMap.add "2.6.20-1.2933.fc6.ppc" v map;;
 let map = StringMap.add "2.6.20-1.2933.fc6.ppc" v map;;

-let v = (parser_10, 1620);;
+let v = (parser_12, 1620);;

 let map = StringMap.add "2.6.21-1.3128.fc7.ppc" v map;;
 let map = StringMap.add "2.6.21-1.3128.fc7.ppc" v map;;

-let v = (parser_10, 1620);;
+let v = (parser_12, 1620);;

 let map = StringMap.add "2.6.21-1.3132.fc7.ppc" v map;;
 let map = StringMap.add "2.6.21-1.3132.fc7.ppc" v map;;

-let v = (parser_10, 1620);;
+let v = (parser_12, 1620);;

 let map = StringMap.add "2.6.21-1.3141.fc7.ppc" v map;;
 let map = StringMap.add "2.6.21-1.3141.fc7.ppc" v map;;

-let v = (parser_10, 1620);;
+let v = (parser_12, 1620);;

 let map = StringMap.add "2.6.21-1.3144.fc7.ppc" v map;;
 let map = StringMap.add "2.6.21-1.3144.fc7.ppc" v map;;

-let v = (parser_10, 1608);;
+let v = (parser_12, 1608);;

 let map = StringMap.add "2.6.21-1.3145.fc7.ppc" v map;;
 let map = StringMap.add "2.6.21-1.3145.fc7.ppc" v map;;

-let v = (parser_10, 1608);;
+let v = (parser_12, 1608);;

 let map = StringMap.add "2.6.21-1.3190.fc7.ppc" v map;;
 let map = StringMap.add "2.6.21-1.3190.fc7.ppc" v map;;

-let v = (parser_10, 1628);;
+let v = (parser_12, 1628);;

 let map = StringMap.add "2.6.21-1.3209.fc8.ppc" v map;;
 let map = StringMap.add "2.6.21-1.3209.fc8.ppc" v map;;

-let v = (parser_10, 1628);;
+let v = (parser_12, 1628);;

 let map = StringMap.add "2.6.21-1.3218.fc8.ppc" v map;;
 let map = StringMap.add "2.6.21-1.3218.fc8.ppc" v map;;

-let v = (parser_10, 1628);;
+let v = (parser_12, 1628);;

 let map = StringMap.add "2.6.21-1.3221.fc8.ppc" v map;;
 let map = StringMap.add "2.6.21-1.3221.fc8.ppc" v map;;

-let v = (parser_10, 1584);;
+let v = (parser_12, 1584);;

 let map = StringMap.add "2.6.21-1.3228.fc7.ppc" v map;;
 let map = StringMap.add "2.6.21-1.3228.fc7.ppc" v map;;

-let v = (parser_15, 1796);;
+let v = (parser_17, 1796);;

 let map = StringMap.add "2.6.21-1.3234.fc8.ppc" v map;;
 let map = StringMap.add "2.6.21-1.3234.fc8.ppc" v map;;

-let v = (parser_18, 1796);;
+let v = (parser_20, 1796);;

 let map = StringMap.add "2.6.21-1.3236.fc8.ppc" v map;;
 let map = StringMap.add "2.6.21-1.3236.fc8.ppc" v map;;

-let v = (parser_21, 1772);;
+let v = (parser_23, 1772);;

 let map = StringMap.add "2.6.21-1.3238.fc8.ppc" v map;;
 let map = StringMap.add "2.6.21-1.3238.fc8.ppc" v map;;

-let v = (parser_21, 1772);;
+let v = (parser_23, 1772);;

 let map = StringMap.add "2.6.21-1.3242.fc8.ppc" v map;;
 let map = StringMap.add "2.6.21-1.3242.fc8.ppc" v map;;

-let v = (parser_24, 1772);;
+let v = (parser_26, 1772);;

 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc" v map;;
 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc" v map;;

-let v = (parser_21, 1772);;
+let v = (parser_23, 1772);;

 let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc" v map;;
 let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc" v map;;

-let v = (parser_27, 1760);;
+let v = (parser_29, 1760);;

 let map = StringMap.add "2.6.23.14-135.fc8.ppc" v map;;
 let map = StringMap.add "2.6.23.14-135.fc8.ppc" v map;;

-let v = (parser_27, 1760);;
+let v = (parser_29, 1760);;

 let map = StringMap.add "2.6.23.14-78.fc7.ppc" v map;;
 let map = StringMap.add "2.6.23.14-78.fc7.ppc" v map;;

-let v = (parser_29, 1948);;
+let v = (parser_31, 1948);;

 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc" v map;;
 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc" v map;;

-let v = (parser_29, 1948);;
+let v = (parser_31, 1948);;

 let map = StringMap.add "2.6.24-7.fc9.ppc" v map;;
 let map = StringMap.add "2.6.24-7.fc9.ppc" v map;;

-let v = (parser_29, 1948);;
+let v = (parser_31, 1948);;

 let map = StringMap.add "2.6.24-9.fc9.ppc" v map;;
 let v = (parser_1, 1384);;
 let map = StringMap.add "2.6.18-1.2798.fc6.i686" v map;;
 let map = StringMap.add "2.6.24-9.fc9.ppc" v map;;
 let v = (parser_1, 1384);;
 let map = StringMap.add "2.6.18-1.2798.fc6.i686" v map;;

-let v = (parser_12, 1928);;
+let v = (parser_14, 1928);;

 let map = StringMap.add "2.6.18-1.2798.fc6.x86_64" v map;;
 let v = (parser_1, 1400);;
 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
 let map = StringMap.add "2.6.18-1.2798.fc6.x86_64" v map;;
 let v = (parser_1, 1400);;
 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;

-let v = (parser_8, 1920);;
+let v = (parser_9, 1920);;

 let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;;
 type kernel_version = string;;
 let task_struct_known version = StringMap.mem version map;;
 let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;;
 type kernel_version = string;;
 let task_struct_known version = StringMap.mem version map;;