#include <stdio.h>

void hello_world(void) {
  printf("hello world!");
}