$use Dos StdIO;

Main = <PrintLN "hello">,
       <Exit 57>,
	<PrintLN "World">;