Code generation for procedure literals

3 files changed, 181 insertions, 344 deletions

diff --git a/examples/basic.odin b/examples/basic.odin
index c088b85f9..e0863188a 100644
--- a/examples/basic.odin
+++ b/examples/basic.odin
@@ -2,29 +2,28 @@ putchar :: proc(c: i32) -> i32 #foreign
 
 print_string :: proc(s: string) {
 	for i := 0; i < len(s); i++ {
-		c := cast(i32)s[i];
-		putchar(c);
+		putchar(cast(i32)s[i]);
 	}
 }
 
-string_byte_reverse :: proc(s: string) {
-	n := len(s);
+byte_reverse :: proc(b: []byte) {
+	n := len(b);
 	for i := 0; i < n/2; i++ {
-		s[i], s[n-1-i] = s[n-1-i], s[i];
+		b[i], b[n-1-i] = b[n-1-i], b[i];
 	}
 }
 
-encode_rune :: proc(r : rune) -> ([4]u8, int) {
-	buf : [4]u8;
+encode_rune :: proc(r : rune) -> ([4]byte, int) {
+	buf : [4]byte;
 	i := cast(u32)r;
-	mask : u8 : 0x3f;
+	mask : byte : 0x3f;
 	if i <= 1<<7-1 {
-		buf[0] = cast(u8)r;
+		buf[0] = cast(byte)r;
 		return buf, 1;
 	}
 	if i <= 1<<11-1 {
-		buf[0] = 0xc0 | cast(u8)(r>>6);
-		buf[1] = 0x80 | cast(u8)(r)&mask;
+		buf[0] = 0xc0 | cast(byte)(r>>6);
+		buf[1] = 0x80 | cast(byte)(r)&mask;
 		return buf, 2;
 	}
 
@@ -35,16 +34,16 @@ encode_rune :: proc(r : rune) -> ([4]u8, int) {
 	}
 
 	if i <= 1<<16-1 {
-		buf[0] = 0xe0 | cast(u8)(r>>12);
-		buf[1] = 0x80 | cast(u8)(r>>6)&mask;
-		buf[2] = 0x80 | cast(u8)(r)&mask;
+		buf[0] = 0xe0 | cast(byte)(r>>12);
+		buf[1] = 0x80 | cast(byte)(r>>6)&mask;
+		buf[2] = 0x80 | cast(byte)(r)&mask;
 		return buf, 3;
 	}
 
-	buf[0] = 0xf0 | cast(u8)(r>>18);
-	buf[1] = 0x80 | cast(u8)(r>>12)&mask;
-	buf[2] = 0x80 | cast(u8)(r>>6)&mask;
-	buf[3] = 0x80 | cast(u8)(r)&mask;
+	buf[0] = 0xf0 | cast(byte)(r>>18);
+	buf[1] = 0x80 | cast(byte)(r>>12)&mask;
+	buf[2] = 0x80 | cast(byte)(r>>6)&mask;
+	buf[3] = 0x80 | cast(byte)(r)&mask;
 	return buf, 4;
 }
 
@@ -59,9 +58,8 @@ print_int :: proc(i : int) {
 }
 print_int_base :: proc(i, base : int) {
 	NUM_TO_CHAR_TABLE :: "0123456789ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz@$";
-	NEG :: "-";
 
-	buf: [21]u8;
+	buf: [21]byte;
 	len := 0;
 	negative := false;
 	if i < 0 {
@@ -73,8 +71,7 @@ print_int_base :: proc(i, base : int) {
 		len++;
 	}
 	for i > 0 {
-		c : u8 = NUM_TO_CHAR_TABLE[i % base];
-		buf[len] = c;
+		buf[len] = NUM_TO_CHAR_TABLE[i % base];
 		len++;
 		i /= base;
 	}
@@ -84,7 +81,6 @@ print_int_base :: proc(i, base : int) {
 		len++;
 	}
 
-	str := cast(string)buf[:len];
-	string_byte_reverse(str);
-	print_string(str);
+	byte_reverse(buf[:len]);
+	print_string(cast(string)buf[:len]);
 }
diff --git a/examples/main.ll b/examples/main.ll
index 412f9c49b..fce46ccd9 100644
--- a/examples/main.ll
+++ b/examples/main.ll
@@ -4,198 +4,43 @@
 
 declare void @llvm.memmove.p0i8.p0i8.i64(i8*, i8*, i64, i32, i1)
 
-define void @main() {
+define void @thing(i64 ()* %p) {
 "entry - 0":
-	%0 = alloca [4 x i64], align 8 ; dst
-	store [4 x i64] zeroinitializer, [4 x i64]* %0
-	%1 = alloca [2 x i64], align 8 ; src
-	store [2 x i64] zeroinitializer, [2 x i64]* %1
-	%2 = getelementptr inbounds [2 x i64], [2 x i64]* %1, i64 0, i64 0
-	%3 = getelementptr i64, i64* %2, i64 0
-	store i64 7, i64* %3
-	%4 = getelementptr inbounds [2 x i64], [2 x i64]* %1, i64 0, i64 0
-	%5 = getelementptr i64, i64* %4, i64 1
-	store i64 5, i64* %5
-	%6 = sub i64 4, 1
-	%7 = sub i64 4, 1
-	%8 = getelementptr inbounds [4 x i64], [4 x i64]* %0, i64 0, i64 0
-	%9 = getelementptr i64, i64* %8, i64 1
-	%10 = alloca {i64*, i64, i64}, align 8 
-	store {i64*, i64, i64} zeroinitializer, {i64*, i64, i64}* %10
-	%11 = getelementptr inbounds {i64*, i64, i64}, {i64*, i64, i64}* %10, i64 0, i32 0
-	store i64* %9, i64** %11
-	%12 = getelementptr inbounds {i64*, i64, i64}, {i64*, i64, i64}* %10, i64 0, i32 1
-	store i64 %6, i64* %12
-	%13 = getelementptr inbounds {i64*, i64, i64}, {i64*, i64, i64}* %10, i64 0, i32 2
-	store i64 %7, i64* %13
-	%14 = sub i64 2, 0
-	%15 = sub i64 2, 0
-	%16 = getelementptr inbounds [2 x i64], [2 x i64]* %1, i64 0, i64 0
-	%17 = getelementptr i64, i64* %16, i64 0
-	%18 = alloca {i64*, i64, i64}, align 8 
-	store {i64*, i64, i64} zeroinitializer, {i64*, i64, i64}* %18
-	%19 = getelementptr inbounds {i64*, i64, i64}, {i64*, i64, i64}* %18, i64 0, i32 0
-	store i64* %17, i64** %19
-	%20 = getelementptr inbounds {i64*, i64, i64}, {i64*, i64, i64}* %18, i64 0, i32 1
-	store i64 %14, i64* %20
-	%21 = getelementptr inbounds {i64*, i64, i64}, {i64*, i64, i64}* %18, i64 0, i32 2
-	store i64 %15, i64* %21
-	%22 = getelementptr inbounds {i64*, i64, i64}, {i64*, i64, i64}* %10, i64 0, i32 0
-	%23 = load i64*, i64** %22
-	%24 = bitcast i64* %23 to %.rawptr
-	%25 = getelementptr inbounds {i64*, i64, i64}, {i64*, i64, i64}* %18, i64 0, i32 0
-	%26 = load i64*, i64** %25
-	%27 = bitcast i64* %26 to %.rawptr
-	%28 = getelementptr inbounds {i64*, i64, i64}, {i64*, i64, i64}* %10, i64 0, i32 1
-	%29 = load i64, i64* %28
-	%30 = getelementptr inbounds {i64*, i64, i64}, {i64*, i64, i64}* %18, i64 0, i32 1
-	%31 = load i64, i64* %30
-	%32 = icmp slt i64 %29, %31
-	%33 = select i1 %32, i64 %29, i64 %31
-	%34 = mul i64 %33, 8
-	call void @llvm.memmove.p0i8.p0i8.i64(i8* %24, i8* %27, i64 %34, i32 8, i1 false)
-	%35 = alloca i64, align 8 ; i
-	store i64 zeroinitializer, i64* %35
-	store i64 0, i64* %35
-	br label %"for.loop - 2"
-
-"for.body - 1":
-	%36 = getelementptr inbounds [4 x i64], [4 x i64]* %0, i64 0, i64 0
-	%37 = load i64, i64* %35
-	%38 = getelementptr i64, i64* %36, i64 %37
-	%39 = load i64, i64* %38
-	call void @print_int(i64 %39)
-	br label %"for.post - 3"
-
-"for.loop - 2":
-	%40 = load i64, i64* %35
-	%41 = icmp slt i64 %40, 4
-	br i1 %41, label %"for.body - 1", label %"for.done - 4"
-
-"for.post - 3":
-	%42 = load i64, i64* %35
-	%43 = add i64 %42, 1
-	store i64 %43, i64* %35
-	br label %"for.loop - 2"
-
-"for.done - 4":
-	br i1 false, label %"if.then - 5", label %"if.done - 6"
+	%0 = alloca i64 ()*, align 8 ; p
+	store i64 ()* zeroinitializer, i64 ()** %0
+	store i64 ()* %p, i64 ()** %0
+	%1 = load i64 ()*, i64 ()** %0
+	%2 = call i64 %1()
+	call void @print_int(i64 %2)
+	call void @print_rune(i32 10)
+	ret void
+}
 
-"if.then - 5":
-	%44 = getelementptr inbounds [26 x i8], [26 x i8]* @.str0, i64 0, i64 0
-	%45 = alloca %.string, align 8 
-	store %.string zeroinitializer, %.string* %45
-	%46 = getelementptr inbounds %.string, %.string* %45, i64 0, i32 0
-	%47 = getelementptr inbounds %.string, %.string* %45, i64 0, i32 1
-	store i8* %44, i8** %46
-	store i64 26, i64* %47
-	%48 = load %.string, %.string* %45
-	call void @print_string(%.string %48)
-	%49 = getelementptr inbounds [26 x i8], [26 x i8]* @.str1, i64 0, i64 0
-	%50 = alloca %.string, align 8 
-	store %.string zeroinitializer, %.string* %50
-	%51 = getelementptr inbounds %.string, %.string* %50, i64 0, i32 0
-	%52 = getelementptr inbounds %.string, %.string* %50, i64 0, i32 1
-	store i8* %49, i8** %51
-	store i64 26, i64* %52
-	%53 = load %.string, %.string* %50
-	call void @print_string(%.string %53)
-	%54 = getelementptr inbounds [25 x i8], [25 x i8]* @.str2, i64 0, i64 0
-	%55 = alloca %.string, align 8 
-	store %.string zeroinitializer, %.string* %55
-	%56 = getelementptr inbounds %.string, %.string* %55, i64 0, i32 0
-	%57 = getelementptr inbounds %.string, %.string* %55, i64 0, i32 1
-	store i8* %54, i8** %56
-	store i64 25, i64* %57
-	%58 = load %.string, %.string* %55
-	call void @print_string(%.string %58)
-	%59 = getelementptr inbounds [27 x i8], [27 x i8]* @.str3, i64 0, i64 0
-	%60 = alloca %.string, align 8 
-	store %.string zeroinitializer, %.string* %60
-	%61 = getelementptr inbounds %.string, %.string* %60, i64 0, i32 0
-	%62 = getelementptr inbounds %.string, %.string* %60, i64 0, i32 1
-	store i8* %59, i8** %61
-	store i64 27, i64* %62
-	%63 = load %.string, %.string* %60
-	call void @print_string(%.string %63)
-	%64 = getelementptr inbounds [24 x i8], [24 x i8]* @.str4, i64 0, i64 0
-	%65 = alloca %.string, align 8 
-	store %.string zeroinitializer, %.string* %65
-	%66 = getelementptr inbounds %.string, %.string* %65, i64 0, i32 0
-	%67 = getelementptr inbounds %.string, %.string* %65, i64 0, i32 1
-	store i8* %64, i8** %66
-	store i64 24, i64* %67
-	%68 = load %.string, %.string* %65
-	call void @print_string(%.string %68)
-	%69 = getelementptr inbounds [42 x i8], [42 x i8]* @.str5, i64 0, i64 0
-	%70 = alloca %.string, align 8 
-	store %.string zeroinitializer, %.string* %70
-	%71 = getelementptr inbounds %.string, %.string* %70, i64 0, i32 0
-	%72 = getelementptr inbounds %.string, %.string* %70, i64 0, i32 1
-	store i8* %69, i8** %71
-	store i64 42, i64* %72
-	%73 = load %.string, %.string* %70
-	call void @print_string(%.string %73)
-	%74 = getelementptr inbounds [24 x i8], [24 x i8]* @.str6, i64 0, i64 0
-	%75 = alloca %.string, align 8 
-	store %.string zeroinitializer, %.string* %75
-	%76 = getelementptr inbounds %.string, %.string* %75, i64 0, i32 0
-	%77 = getelementptr inbounds %.string, %.string* %75, i64 0, i32 1
-	store i8* %74, i8** %76
-	store i64 24, i64* %77
-	%78 = load %.string, %.string* %75
-	call void @print_string(%.string %78)
-	%79 = getelementptr inbounds [35 x i8], [35 x i8]* @.str7, i64 0, i64 0
-	%80 = alloca %.string, align 8 
-	store %.string zeroinitializer, %.string* %80
-	%81 = getelementptr inbounds %.string, %.string* %80, i64 0, i32 0
-	%82 = getelementptr inbounds %.string, %.string* %80, i64 0, i32 1
-	store i8* %79, i8** %81
-	store i64 35, i64* %82
-	%83 = load %.string, %.string* %80
-	call void @print_string(%.string %83)
-	%84 = getelementptr inbounds [33 x i8], [33 x i8]* @.str8, i64 0, i64 0
-	%85 = alloca %.string, align 8 
-	store %.string zeroinitializer, %.string* %85
-	%86 = getelementptr inbounds %.string, %.string* %85, i64 0, i32 0
-	%87 = getelementptr inbounds %.string, %.string* %85, i64 0, i32 1
-	store i8* %84, i8** %86
-	store i64 33, i64* %87
-	%88 = load %.string, %.string* %85
-	call void @print_string(%.string %88)
-	%89 = getelementptr inbounds [24 x i8], [24 x i8]* @.str9, i64 0, i64 0
-	%90 = alloca %.string, align 8 
-	store %.string zeroinitializer, %.string* %90
-	%91 = getelementptr inbounds %.string, %.string* %90, i64 0, i32 0
-	%92 = getelementptr inbounds %.string, %.string* %90, i64 0, i32 1
-	store i8* %89, i8** %91
-	store i64 24, i64* %92
-	%93 = load %.string, %.string* %90
-	call void @print_string(%.string %93)
-	%94 = getelementptr inbounds [45 x i8], [45 x i8]* @.stra, i64 0, i64 0
-	%95 = alloca %.string, align 8 
-	store %.string zeroinitializer, %.string* %95
-	%96 = getelementptr inbounds %.string, %.string* %95, i64 0, i32 0
-	%97 = getelementptr inbounds %.string, %.string* %95, i64 0, i32 1
-	store i8* %94, i8** %96
-	store i64 45, i64* %97
-	%98 = load %.string, %.string* %95
-	call void @print_string(%.string %98)
-	%99 = getelementptr inbounds [24 x i8], [24 x i8]* @.strb, i64 0, i64 0
-	%100 = alloca %.string, align 8 
-	store %.string zeroinitializer, %.string* %100
-	%101 = getelementptr inbounds %.string, %.string* %100, i64 0, i32 0
-	%102 = getelementptr inbounds %.string, %.string* %100, i64 0, i32 1
-	store i8* %99, i8** %101
-	store i64 24, i64* %102
-	%103 = load %.string, %.string* %100
-	call void @print_string(%.string %103)
-	br label %"if.done - 6"
-
-"if.done - 6":
+define void @main() {
+"entry - 0":
+	%0 = alloca i8, align 1 ; a
+	store i8 zeroinitializer, i8* %0
+	store i8 123, i8* %0
+	%1 = load i8, i8* %0
+	%2 = zext i8 %1 to i64
+	call void @print_int(i64 %2)
+	call void @print_rune(i32 128149)
+	call void @print_rune(i32 10)
+	call void @thing(i64 ()* @main$0)
 	ret void
 }
 
+define i64 @main$0() {
+"entry - 0":
+	%0 = alloca i64, align 8 ; a
+	store i64 zeroinitializer, i64* %0
+	store i64 1337, i64* %0
+	call void @print_rune(i32 128149)
+	call void @print_rune(i32 10)
+	%1 = load i64, i64* %0
+	ret i64 %1
+}
+
 declare i32 @putchar(i32 %c) 	; foreign procedure
 
 define void @print_string(%.string %s) {
@@ -209,44 +54,40 @@ define void @print_string(%.string %s) {
 	br label %"for.loop - 2"
 
 "for.body - 1":
-	%2 = alloca i32, align 4 ; c
-	store i32 zeroinitializer, i32* %2
-	%3 = getelementptr inbounds %.string, %.string* %0, i64 0, i32 0
-	%4 = load i8*, i8** %3
-	%5 = load i64, i64* %1
-	%6 = getelementptr i8, i8* %4, i64 %5
-	%7 = load i8, i8* %6
-	%8 = zext i8 %7 to i32
-	store i32 %8, i32* %2
-	%9 = load i32, i32* %2
-	%10 = call i32 @putchar(i32 %9)
+	%2 = getelementptr inbounds %.string, %.string* %0, i64 0, i32 0
+	%3 = load i8*, i8** %2
+	%4 = load i64, i64* %1
+	%5 = getelementptr i8, i8* %3, i64 %4
+	%6 = load i8, i8* %5
+	%7 = zext i8 %6 to i32
+	%8 = call i32 @putchar(i32 %7)
 	br label %"for.post - 3"
 
 "for.loop - 2":
-	%11 = load i64, i64* %1
-	%12 = getelementptr inbounds %.string, %.string* %0, i64 0, i32 1
-	%13 = load i64, i64* %12
-	%14 = icmp slt i64 %11, %13
-	br i1 %14, label %"for.body - 1", label %"for.done - 4"
+	%9 = load i64, i64* %1
+	%10 = getelementptr inbounds %.string, %.string* %0, i64 0, i32 1
+	%11 = load i64, i64* %10
+	%12 = icmp slt i64 %9, %11
+	br i1 %12, label %"for.body - 1", label %"for.done - 4"
 
 "for.post - 3":
-	%15 = load i64, i64* %1
-	%16 = add i64 %15, 1
-	store i64 %16, i64* %1
+	%13 = load i64, i64* %1
+	%14 = add i64 %13, 1
+	store i64 %14, i64* %1
 	br label %"for.loop - 2"
 
 "for.done - 4":
 	ret void
 }
 
-define void @string_byte_reverse(%.string %s) {
+define void @byte_reverse({i8*, i64, i64} %b) {
 "entry - 0":
-	%0 = alloca %.string, align 8 ; s
-	store %.string zeroinitializer, %.string* %0
-	store %.string %s, %.string* %0
+	%0 = alloca {i8*, i64, i64}, align 8 ; b
+	store {i8*, i64, i64} zeroinitializer, {i8*, i64, i64}* %0
+	store {i8*, i64, i64} %b, {i8*, i64, i64}* %0
 	%1 = alloca i64, align 8 ; n
 	store i64 zeroinitializer, i64* %1
-	%2 = getelementptr inbounds %.string, %.string* %0, i64 0, i32 1
+	%2 = getelementptr inbounds {i8*, i64, i64}, {i8*, i64, i64}* %0, i64 0, i32 1
 	%3 = load i64, i64* %2
 	store i64 %3, i64* %1
 	%4 = alloca i64, align 8 ; i
@@ -255,18 +96,18 @@ define void @string_byte_reverse(%.string %s) {
 	br label %"for.loop - 2"
 
 "for.body - 1":
-	%5 = getelementptr inbounds %.string, %.string* %0, i64 0, i32 0
+	%5 = getelementptr inbounds {i8*, i64, i64}, {i8*, i64, i64}* %0, i64 0, i32 0
 	%6 = load i8*, i8** %5
 	%7 = load i64, i64* %4
 	%8 = getelementptr i8, i8* %6, i64 %7
-	%9 = getelementptr inbounds %.string, %.string* %0, i64 0, i32 0
+	%9 = getelementptr inbounds {i8*, i64, i64}, {i8*, i64, i64}* %0, i64 0, i32 0
 	%10 = load i8*, i8** %9
 	%11 = load i64, i64* %4
 	%12 = load i64, i64* %1
 	%13 = sub i64 %12, 1
 	%14 = sub i64 %13, %11
 	%15 = getelementptr i8, i8* %10, i64 %14
-	%16 = getelementptr inbounds %.string, %.string* %0, i64 0, i32 0
+	%16 = getelementptr inbounds {i8*, i64, i64}, {i8*, i64, i64}* %0, i64 0, i32 0
 	%17 = load i8*, i8** %16
 	%18 = load i64, i64* %4
 	%19 = load i64, i64* %1
@@ -274,7 +115,7 @@ define void @string_byte_reverse(%.string %s) {
 	%21 = sub i64 %20, %18
 	%22 = getelementptr i8, i8* %17, i64 %21
 	%23 = load i8, i8* %22
-	%24 = getelementptr inbounds %.string, %.string* %0, i64 0, i32 0
+	%24 = getelementptr inbounds {i8*, i64, i64}, {i8*, i64, i64}* %0, i64 0, i32 0
 	%25 = load i8*, i8** %24
 	%26 = load i64, i64* %4
 	%27 = getelementptr i8, i8* %25, i64 %26
@@ -567,97 +408,90 @@ define void @print_int_base(i64 %i, i64 %base) {
 	br label %"for.loop - 6"
 
 "for.body - 5":
-	%16 = alloca i8, align 1 ; c
-	store i8 zeroinitializer, i8* %16
-	%17 = getelementptr inbounds [64 x i8], [64 x i8]* @.strc, i64 0, i64 0
-	%18 = load i64, i64* %1
-	%19 = load i64, i64* %0
-	%20 = srem i64 %19, %18
-	%21 = getelementptr i8, i8* %17, i64 %20
-	%22 = load i8, i8* %21
-	store i8 %22, i8* %16
-	%23 = getelementptr inbounds [21 x i8], [21 x i8]* %2, i64 0, i64 0
-	%24 = load i64, i64* %3
-	%25 = getelementptr i8, i8* %23, i64 %24
-	%26 = load i8, i8* %16
-	store i8 %26, i8* %25
-	%27 = load i64, i64* %3
-	%28 = add i64 %27, 1
-	store i64 %28, i64* %3
-	%29 = load i64, i64* %1
-	%30 = load i64, i64* %0
-	%31 = sdiv i64 %30, %29
-	store i64 %31, i64* %0
+	%16 = getelementptr inbounds [21 x i8], [21 x i8]* %2, i64 0, i64 0
+	%17 = load i64, i64* %3
+	%18 = getelementptr i8, i8* %16, i64 %17
+	%19 = getelementptr inbounds [64 x i8], [64 x i8]* @.str0, i64 0, i64 0
+	%20 = load i64, i64* %1
+	%21 = load i64, i64* %0
+	%22 = srem i64 %21, %20
+	%23 = getelementptr i8, i8* %19, i64 %22
+	%24 = load i8, i8* %23
+	store i8 %24, i8* %18
+	%25 = load i64, i64* %3
+	%26 = add i64 %25, 1
+	store i64 %26, i64* %3
+	%27 = load i64, i64* %1
+	%28 = load i64, i64* %0
+	%29 = sdiv i64 %28, %27
+	store i64 %29, i64* %0
 	br label %"for.loop - 6"
 
 "for.loop - 6":
-	%32 = load i64, i64* %0
-	%33 = icmp sgt i64 %32, 0
-	br i1 %33, label %"for.body - 5", label %"for.done - 7"
+	%30 = load i64, i64* %0
+	%31 = icmp sgt i64 %30, 0
+	br i1 %31, label %"for.body - 5", label %"for.done - 7"
 
 "for.done - 7":
-	%34 = load i1, i1* %4
-	br i1 %34, label %"if.then - 8", label %"if.done - 9"
+	%32 = load i1, i1* %4
+	br i1 %32, label %"if.then - 8", label %"if.done - 9"
 
 "if.then - 8":
-	%35 = getelementptr inbounds [21 x i8], [21 x i8]* %2, i64 0, i64 0
+	%33 = getelementptr inbounds [21 x i8], [21 x i8]* %2, i64 0, i64 0
+	%34 = load i64, i64* %3
+	%35 = getelementptr i8, i8* %33, i64 %34
+	store i8 45, i8* %35
 	%36 = load i64, i64* %3
-	%37 = getelementptr i8, i8* %35, i64 %36
-	store i8 45, i8* %37
-	%38 = load i64, i64* %3
-	%39 = add i64 %38, 1
-	store i64 %39, i64* %3
+	%37 = add i64 %36, 1
+	store i64 %37, i64* %3
 	br label %"if.done - 9"
 
 "if.done - 9":
-	%40 = alloca %.string, align 8 ; str
-	store %.string zeroinitializer, %.string* %40
-	%41 = load i64, i64* %3
-	%42 = sub i64 %41, 0
-	%43 = sub i64 21, 0
-	%44 = getelementptr inbounds [21 x i8], [21 x i8]* %2, i64 0, i64 0
-	%45 = getelementptr i8, i8* %44, i64 0
-	%46 = alloca {i8*, i64, i64}, align 8 
-	store {i8*, i64, i64} zeroinitializer, {i8*, i64, i64}* %46
-	%47 = getelementptr inbounds {i8*, i64, i64}, {i8*, i64, i64}* %46, i64 0, i32 0
-	store i8* %45, i8** %47
-	%48 = getelementptr inbounds {i8*, i64, i64}, {i8*, i64, i64}* %46, i64 0, i32 1
-	store i64 %42, i64* %48
-	%49 = getelementptr inbounds {i8*, i64, i64}, {i8*, i64, i64}* %46, i64 0, i32 2
-	store i64 %43, i64* %49
-	%50 = load {i8*, i64, i64}, {i8*, i64, i64}* %46
-	%51 = alloca {i8*, i64, i64}, align 8 
-	store {i8*, i64, i64} zeroinitializer, {i8*, i64, i64}* %51
-	store {i8*, i64, i64} %50, {i8*, i64, i64}* %51
-	%52 = getelementptr inbounds {i8*, i64, i64}, {i8*, i64, i64}* %51, i64 0, i32 0
-	%53 = load i8*, i8** %52
-	%54 = getelementptr inbounds {i8*, i64, i64}, {i8*, i64, i64}* %51, i64 0, i32 1
-	%55 = load i64, i64* %54
-	%56 = alloca %.string, align 8 
-	store %.string zeroinitializer, %.string* %56
-	%57 = getelementptr inbounds %.string, %.string* %56, i64 0, i32 0
-	%58 = getelementptr inbounds %.string, %.string* %56, i64 0, i32 1
-	store i8* %53, i8** %57
-	store i64 %55, i64* %58
-	%59 = load %.string, %.string* %56
-	store %.string %59, %.string* %40
-	%60 = load %.string, %.string* %40
-	call void @string_byte_reverse(%.string %60)
-	%61 = load %.string, %.string* %40
-	call void @print_string(%.string %61)
+	%38 = load i64, i64* %3
+	%39 = sub i64 %38, 0
+	%40 = sub i64 21, 0
+	%41 = getelementptr inbounds [21 x i8], [21 x i8]* %2, i64 0, i64 0
+	%42 = getelementptr i8, i8* %41, i64 0
+	%43 = alloca {i8*, i64, i64}, align 8 
+	store {i8*, i64, i64} zeroinitializer, {i8*, i64, i64}* %43
+	%44 = getelementptr inbounds {i8*, i64, i64}, {i8*, i64, i64}* %43, i64 0, i32 0
+	store i8* %42, i8** %44
+	%45 = getelementptr inbounds {i8*, i64, i64}, {i8*, i64, i64}* %43, i64 0, i32 1
+	store i64 %39, i64* %45
+	%46 = getelementptr inbounds {i8*, i64, i64}, {i8*, i64, i64}* %43, i64 0, i32 2
+	store i64 %40, i64* %46
+	%47 = load {i8*, i64, i64}, {i8*, i64, i64}* %43
+	call void @byte_reverse({i8*, i64, i64} %47)
+	%48 = load i64, i64* %3
+	%49 = sub i64 %48, 0
+	%50 = sub i64 21, 0
+	%51 = getelementptr inbounds [21 x i8], [21 x i8]* %2, i64 0, i64 0
+	%52 = getelementptr i8, i8* %51, i64 0
+	%53 = alloca {i8*, i64, i64}, align 8 
+	store {i8*, i64, i64} zeroinitializer, {i8*, i64, i64}* %53
+	%54 = getelementptr inbounds {i8*, i64, i64}, {i8*, i64, i64}* %53, i64 0, i32 0
+	store i8* %52, i8** %54
+	%55 = getelementptr inbounds {i8*, i64, i64}, {i8*, i64, i64}* %53, i64 0, i32 1
+	store i64 %49, i64* %55
+	%56 = getelementptr inbounds {i8*, i64, i64}, {i8*, i64, i64}* %53, i64 0, i32 2
+	store i64 %50, i64* %56
+	%57 = load {i8*, i64, i64}, {i8*, i64, i64}* %53
+	%58 = alloca {i8*, i64, i64}, align 8 
+	store {i8*, i64, i64} zeroinitializer, {i8*, i64, i64}* %58
+	store {i8*, i64, i64} %57, {i8*, i64, i64}* %58
+	%59 = getelementptr inbounds {i8*, i64, i64}, {i8*, i64, i64}* %58, i64 0, i32 0
+	%60 = load i8*, i8** %59
+	%61 = getelementptr inbounds {i8*, i64, i64}, {i8*, i64, i64}* %58, i64 0, i32 1
+	%62 = load i64, i64* %61
+	%63 = alloca %.string, align 8 
+	store %.string zeroinitializer, %.string* %63
+	%64 = getelementptr inbounds %.string, %.string* %63, i64 0, i32 0
+	%65 = getelementptr inbounds %.string, %.string* %63, i64 0, i32 1
+	store i8* %60, i8** %64
+	store i64 %62, i64* %65
+	%66 = load %.string, %.string* %63
+	call void @print_string(%.string %66)
 	ret void
 }
 
-@.str0 = global [26 x i8] c"Chinese\20\20\20\20-\20\E4\BD\A0\E5\A5\BD\E4\B8\96\E7\95\8C\0A"
-@.str1 = global [26 x i8] c"Dutch\20\20\20\20\20\20-\20Hello\20wereld\0A"
-@.str2 = global [25 x i8] c"English\20\20\20\20-\20Hello\20world\0A"
-@.str3 = global [27 x i8] c"French\20\20\20\20\20-\20Bonjour\20monde\0A"
-@.str4 = global [24 x i8] c"German\20\20\20\20\20-\20Hallo\20Welt\0A"
-@.str5 = global [42 x i8] c"Greek\20\20\20\20\20\20-\20\CE\B3\CE\B5\CE\B9\CE\AC\20\CF\83\CE\BF\CF\85\20\CE\BA\CF\8C\CF\83\CE\BC\CE\BF\CF\82\0A"
-@.str6 = global [24 x i8] c"Italian\20\20\20\20-\20Ciao\20mondo\0A"
-@.str7 = global [35 x i8] c"Japanese\20\20\20-\20\E3\81\93\E3\82\93\E3\81\AB\E3\81\A1\E3\81\AF\E4\B8\96\E7\95\8C\0A"
-@.str8 = global [33 x i8] c"Korean\20\20\20\20\20-\20\EC\97\AC\EB\B3\B4\EC\84\B8\EC\9A\94\20\EC\84\B8\EA\B3\84\0A"
-@.str9 = global [24 x i8] c"Portuguese\20-\20Ol\C3\A1\20mundo\0A"
-@.stra = global [45 x i8] c"Russian\20\20\20\20-\20\D0\97\D0\B4\D1\80\D0\B0\D0\B2\D1\81\D1\82\D0\B2\D1\83\D0\BB\D1\82\D0\B5\20\D0\BC\D0\B8\D1\80\0A"
-@.strb = global [24 x i8] c"Spanish\20\20\20\20-\20Hola\20mundo\0A"
-@.strc = global [64 x i8] c"0123456789ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz\40$"
+@.str0 = global [64 x i8] c"0123456789ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz\40$"
diff --git a/examples/main.odin b/examples/main.odin
index 1a6d9b443..1263a77eb 100644
--- a/examples/main.odin
+++ b/examples/main.odin
@@ -2,31 +2,38 @@ import "basic"
 
 TWO_HEARTS :: '💕';
 
-main :: proc() {
-	dst : [4]int;
-	src : [2]int;
-	src[0] = 7;
-	src[1] = 5;
-
-	_ = copy(dst[1:], src[:]);
+thing :: proc(p : proc() -> int) {
+	print_int(p());
+	print_rune('\n');
+}
 
-	for i := 0; i < len(dst); i++ {
-		print_int(dst[i]);
-	}
+main :: proc() {
+	a : u8 = 123;
+	print_int(cast(int)a);
+	print_rune(TWO_HEARTS);
+	print_rune('\n');
+	thing(proc() -> int {
+		a : int = 1337;
+		print_rune(TWO_HEARTS);
+		print_rune('\n');
+		return a;
+	});
+}
 
-	if false {
-		print_string("Chinese    - 你好世界\n");
-		print_string("Dutch      - Hello wereld\n");
-		print_string("English    - Hello world\n");
-		print_string("French     - Bonjour monde\n");
-		print_string("German     - Hallo Welt\n");
-		print_string("Greek      - γειά σου κόσμος\n");
-		print_string("Italian    - Ciao mondo\n");
-		print_string("Japanese   - こんにちは世界\n");
-		print_string("Korean     - 여보세요 세계\n");
-		print_string("Portuguese - Olá mundo\n");
-		print_string("Russian    - Здравствулте мир\n");
-		print_string("Spanish    - Hola mundo\n");
-	}
+/*
+if false {
+	print_string("Chinese    - 你好世界\n");
+	print_string("Dutch      - Hello wereld\n");
+	print_string("English    - Hello world\n");
+	print_string("French     - Bonjour monde\n");
+	print_string("German     - Hallo Welt\n");
+	print_string("Greek      - γειά σου κόσμος\n");
+	print_string("Italian    - Ciao mondo\n");
+	print_string("Japanese   - こんにちは世界\n");
+	print_string("Korean     - 여보세요 세계\n");
+	print_string("Portuguese - Olá mundo\n");
+	print_string("Russian    - Здравствулте мир\n");
+	print_string("Spanish    - Hola mundo\n");
 }
+*/