99 bottles of beer

Data.Function.fix (\c n -> if n == 0 then pure () else putStrLn ((show n) ++ " bottles of beer") >> c (n-1)) 99

(!) "Kernel.LoadMod('b99')"

MODULE b99;
 
IMPORT  Out;
 
PROCEDURE Do*;
VAR     nr      : INTEGER;
BEGIN
  nr := 99;
  REPEAT
    Out.Int (nr, 4);
    Out.String (" bottles of beer on the wall");
    Out.Ln;
    Out.Int (nr, 4);
    Out.String (" bottles of beer");
    Out.Ln;
    Out.String ("Take one down, pass it around");
    Out.Ln;
    DEC (nr);
    Out.Int (nr, 4);
    Out.String (" bottles of beer on the wall");
    Out.Ln;
    Out.Ln
  UNTIL nr = 0
  END Do;

END b99.

(!) b99.Do