kit

legacy_typecheck_builtin.toy (42B)

---

 fn main(): i64 {
   return @typecheck();
 }