A PLAN program is a list of definitions, which could be function definitions, exception declarations, or var bindings (in the ML style). In the case of the Hello world program, there is just one function :
fun doit () : unit = (print (thisHost ()); print(" says : Hello world!\n"))