FYI,

A binary is in 
ftp://ftp.netbsd.org/pub/incomming/6292f3aa9d548f70e88868a8ac4f24ad

that number is also the MD5 checksum.  The source, as Alan guessed, is:

nettle$ cat hello.c
#include <stdio.h>

int
main (int argc, char **argv)
{
         printf ("Hello World\n");
}

	Andrew