EX01: A simple hello world program.

@O@<ex01.out@>@{Hello World@+@}