$use Convert StdIO;

Main = <PrintLN <To-Int " " "+5">>;