$use StdIO;

$extern F G;

$func H e = e;
H e1 = e1 OK;

F = <PrintLn <H OK>>;

$func Main = e;
Main = <G>;