start_up = proc()
   out:stream := stream$primary_output()
   stream$puts(out,"Hello World!\n")
end start_up