internal static extern void l4api_delete_thread(ThreadInfo info);
internal static extern int l4api_create_thread(Pointer utcb, L4Handle parent, out ThreadInfo info);