type int = i32; type char = i8; type string = ptr(char); extern func void(int) putchar; void f(char c) { putchar(c); return; } int main(int argc, ptr(string) argv) { string s = "kaas"; ptr(i8) s2 = "kaas2"; f('x'); return 0; }