Any semantics, lvalue allocates on stack

examples/dynamic_typing.core

@@ -1,3 +1,21 @@
+/*
+Language enables implementing dynamic typing using operator overloads and
+the Any type. Any type is a bundle of typeid and a pointer to value.
+
+Current semantics of the Any dictate that values that get assigned to
+Any values, they get implicitly converted to a pointer and a type.
+
+a: Any = 10  // This sentence allocates 10 on the stack
+a: Any = a + 10 // This also allocates on stack
+a: Any = a // Does not allocate, takes pointer to a
+a: Any = array[1] // Does not allocate, takes pointer to value in array
+
+The general picture you can take from this is that if we are referencing
+something it will take a pointer to it.
+If the operation results in a new value it will allocate the result on stack
+and make a pointer out of it. Have to be mindful of the lifetime.
+*/
+
 
 storage: [32]S64
 len    :     S64
@@ -30,8 +48,8 @@ main :: (): int
   a: Any = 10
   b: Any = 20
   c := a + b
-  // - [ ] DANGEROUS BUG! &(int64_t){32} creates a new value, we shouldn't do this with variables!!!
-  // Assert(c.type == S64 && c == 30)
-  // Assert(a+b+a==c+(5+5))
+
+  Assert(c.type == S64 && c == 30)
+  Assert(a+b+a==c+(5+5))
 
   return 0

examples/using_multimedia.core

@@ -1,4 +1,4 @@
-#load "Multimedia.core"
+#import "Multimedia.core"
 
 main :: (): int
   StartMultimedia(title = "Hello people!")