LOCAL       Disp01.

   SampleIO01(str)<-
    WriteString(StdOut, str).