type int = i32;
type char = i8;
type string = ptr(char);

int main(int argc, ptr(string) argv) {
	string s = "kaas";
}