#include <system/system.h>

void main(void) {
  sys_debugprint("Hello world from userspace in C");
}