$use StdIO;

$func Main = e;
Main = {
	<F>;
	<PrintLn OK>;
};

$func? F = ;
F = $fail;