--- a/kernel/kernel.c3	Sat Feb 21 12:17:47 2015 +0100
+++ b/kernel/kernel.c3	Mon Feb 23 21:06:04 2015 +0100
@@ -20,7 +20,7 @@
 }
 
 // Called in total stress:
-function void panic()
+public function void panic()
 {
     io.println("Kernel panic!");
     arch.halt();
@@ -35,14 +35,11 @@
 function void load_init_process()
 {
     // Load image:
-    var byte* image_addr;
-    image_addr = arch.get_image_address();
+    var byte* image_addr = arch.get_image_address();
     io.print2("ramdisk address: ", cast<int>(image_addr));
 
-    var ramdisk_header_t* ramdisk_header;
-    ramdisk_header = image_addr;
-    var byte* image_ptr;
-    image_ptr = image_addr;
+    var ramdisk_header_t* ramdisk_header = image_addr;
+    var byte* image_ptr = image_addr;
     if (0x1337 == ramdisk_header->magic)
     {
         image_ptr += 8;
@@ -50,8 +47,7 @@
         if (ramdisk_header->num_images > 0)
         {
             io.println("Loading init");
-            var int init_size;
-            init_size = *(cast<int*>(image_ptr));
+            var int init_size = *(cast<int*>(image_ptr));
             io.print2("Init size:", init_size);
             image_ptr += 4;