#include "world.h"

#include <stdio.h>

void print_world()
{
  puts("World!");
}