test :-: u32 : u32 : u32 a b : * a b text :-: [u8] : "hallo" main :+: IO : log text