#include <stdio.h>

#include "types.h"

void
dp_hello_world()
{
	printf("Hello World\n");
}