-- Hello World program

import IO = LX.USER_INTERFACE.CONSOLE

procedure Main() is
    IO.WriteLn "Hello World"