#USE "course.lib" --comment PROC main(CHAN BYTE input, output, error) out.string("Hello World*n", 0, output) :