MODULE BugFnArray EXPORTS Main;

TYPE Func = PROCEDURE (): LONGREAL;

PROCEDURE DoIt() =
  CONST F = ARRAY OF Func {F0, F1};
  VAR z: LONGREAL := 0.0d0;
  BEGIN
    WITH start = 1.0d0, N = 2000, f = F[0] DO
      z := f()
    END
  END DoIt;
  
PROCEDURE F0(): LONGREAL = BEGIN RETURN 1.0d0 END F0;
PROCEDURE F1(): LONGREAL = BEGIN RETURN 1.0d0 END F1;

BEGIN
  DoIt()
END BugFnArray.