Add a hello program, for completeness.