--- a/kernel/kernel.c3	Sun Mar 09 18:49:10 2014 +0100
+++ b/kernel/kernel.c3	Thu Mar 13 18:59:06 2014 +0100
@@ -21,26 +21,14 @@
     while(true) {}
 }
 
-function int strlen(string txt)
-{
-
-}
-
-function int getchar(string txt, int index)
-{
-    if (index < strlen(txt))
-    {
-    }
-}
-
 function void print(string txt)
 {
     var int i;
     i = 0;
 
-    while (i < strlen(txt))
+    while (i < txt->len)
     {
-        arch.putc(getchar(txt, i));
+        arch.putc(cast<int>(txt->txt[i]));
         i = i + 1;
     }
 }