// // puti @= fn(x: int) {
// // 	 #C("printf(\"%ld\\n\", (long)x);
// // ");
// // };
// // putf @= fn(x: float) {
// // 	 #C("printf(\"%f\\n\", (double)x);
// // ");
// // };

// Arr @= fn (t @ Type) Type {
// 	struct {
// 		   data : t;
// 		   // len, cap : u64;
// 	}
// };

// // todo: test that t @ type doesn't cause problems 
// arr_add @= fn(t @ Type, a : &Arr(t)) {
// 		// if a.len >= a.cap {
// 		//    a.cap = a.cap * 2 + 2;
// 		//    new_data := new(t, a.cap);
// 		//    each i := 0..a.len {
// 		//    		new_data[i] = a.data[i];
// 		//    }
// 		//    a.data = new_data;
// 		// }
// 		// a.data[a.len] = x;
// 		// a.len += 1;
// };



// main @= fn() {
// // 	 arr : Arr(int);
// // 	 // arr_add(int, &arr, 5);
// // 	 // arr_add(int, &arr, 10);
// // 	 // arr_add(int, &arr, 20);
// // 	 // each i := 0..arr.len - 1 {
// // 	 // 	  puti(arr.data[i]);
// // 	 // }
// };

// // t @= fn(x @ Type) Type { struct { t: x; } };
// // // pass the wrong thing to t, and the error is in the wrong place

// // f @= fn(x: t(int)) {};

f @= fn(t @ Type, x : t) {
};

main @= fn() { f(int, 3); };