#include <stdio.h>
#include "jthread.h"

void hw(void *arg)
{
  printf("Hello World\n");
}

main()
{
  jthread_system_init();
  jthread_create(hw, NULL);
  jthread_exit();
}