1    type [CChar; N]
2        def to_c_string = CString as_ptr
3    
4    type String
5        def to_array<N@u32> =
6            assert length <= N
7            let mut array = [CChar; N]@zero
8            for i = 0 until length do
9                array[i] = ptr[i] as CChar
10   
11           array
12   
13   class Discard =
14       def discard
15   
16   type CStream = MutPtr<cstd/File>
17   
18   let kd_init_console ()
19   kd_init_console
20