$use UniStd;

Main = <System "echo 'OK'">;