<?xml version="1.0" encoding="ISO-8859-1"?>
<?xml-stylesheet type="text/xsl" href="stylesheet.xsl"?>

<doc>
   <title>kernel_1b</title>
   <body from_file="kernel_1b.txt"/>
   <menu from_file="compression.xml"/>
</doc>
