MODULE InProc EXPORTS Main ;

IMPORT Wr, Stdio, Fmt ;
<*FATAL ANY*>

PROCEDURE g( f:PROCEDURE(i:INTEGER); j:INTEGER) =
  BEGIN 
    Wr.PutText(Stdio.stdout,Fmt.Int(j)&"\n");
    f(j) 
  END g;

PROCEDURE doit() =
  PROCEDURE pr( i:INTEGER ) =
    BEGIN Wr.PutText(Stdio.stdout,Fmt.Int(i)&"\n") END pr;
  BEGIN
    g(pr,1);
  END doit;

BEGIN
  doit() ;
END InProc.