Index: src/examples/thread.c
===================================================================
--- src/examples/thread.c	(revision c84e80aa83b9917829e6f5f923487d8ece403218)
+++ src/examples/thread.c	(revision 4a3386b40a240bd9769a705886c70d008e23008c)
@@ -1,67 +1,67 @@
-#include <kernel>
+// #include <kernel>
 #include <stdlib>
 #include <threads>
 
-// Start coroutine routines
-extern "C" {
-      forall(dtype T | is_coroutine(T))
-      void CtxInvokeCoroutine(T * this);
+// // Start coroutine routines
+// extern "C" {
+//       forall(dtype T | is_coroutine(T))
+//       void CtxInvokeCoroutine(T * this);
 
-      forall(dtype T | is_coroutine(T))
-      void CtxStart(T * this, void ( *invoke)(T *));
+//       forall(dtype T | is_coroutine(T))
+//       void CtxStart(T * this, void ( *invoke)(T *));
 
-	forall(dtype T | is_coroutine(T))
-      void CtxInvokeThread(T * this);
-}
+// 	forall(dtype T | is_coroutine(T))
+//       void CtxInvokeThread(T * this);
+// }
 
-struct MyThread {
-	thread_h t;
-	unsigned id;
-	unsigned count;
-};
+// struct MyThread {
+// 	thread_h t;
+// 	unsigned id;
+// 	unsigned count;
+// };
 
-void ?{}( MyThread * this ) {
-	this->id = 0;
-	this->count = 10;
-}
+// void ?{}( MyThread * this ) {
+// 	this->id = 0;
+// 	this->count = 10;
+// }
 
-void ?{}( MyThread * this, unsigned id, unsigned count ) {
-	this->id = id;
-	this->count = count;
-}
+// void ?{}( MyThread * this, unsigned id, unsigned count ) {
+// 	this->id = id;
+// 	this->count = count;
+// }
 
-void ^?{}( MyThread * this ) {}
+// void ^?{}( MyThread * this ) {}
 
-void main(MyThread* this) {
-	printf("Main called with %p\n", this);
-	printf("Thread %d : Suspending %d times\n", this->id, this->count);
+// void main(MyThread* this) {
+// 	printf("Main called with %p\n", this);
+// 	printf("Thread %d : Suspending %d times\n", this->id, this->count);
 
-	for(int i = 0; i < this->count; i++) {
-		printf("Thread %d : Suspend No. %d\n", this->id, i + 1);
-		printf("Back to %p\n", &this->t.c);
-		suspend();
-	}
-}
+// 	for(int i = 0; i < this->count; i++) {
+// 		printf("Thread %d : Suspend No. %d\n", this->id, i + 1);
+// 		printf("Back to %p\n", &this->t.c);
+// 		suspend();
+// 	}
+// }
 
-thread_h* get_thread(MyThread* this) {
-	return &this->t;
-}
+// thread_h* get_thread(MyThread* this) {
+// 	return &this->t;
+// }
 
-coroutine* get_coroutine(MyThread* this) {
-	return &this->t.c;
-}
+// coroutine* get_coroutine(MyThread* this) {
+// 	return &this->t.c;
+// }
 
 int main() {
+	printf("Main is %p\n", this_coroutine());
 
-	thread(MyThread) thread1;
-	thread(MyThread) thread2;
+	// thread(MyThread) thread1;
+	// thread(MyThread) thread2;
 
-	thread2.handle.id = 1;
+	// thread2.handle.id = 1;
 
-	printf("\n\nMain is %p\n", this_coroutine());
 
-	kernel_run();
+	// // kernel_run();
 
-	printf("Kernel terminated correctly\n");
+	// printf("Kernel terminated correctly\n");
 
 	return 0;