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