CONST
  _2* = MAX(REAL) / 2;
  _4* = MAX(REAL) / 4;
  _8* = MAX(REAL) / 8;
  _16* = MAX(REAL) / 16;
  a* = 1.7976931348623E+308;
  max* = MAX(REAL); min* = MIN(REAL);

    _2 = 8.988465674311579E+307;
    _4 = 4.494232837155789E+307;
    _8 = 2.247116418577895E+307;
    _16 = 1.123558209288947E+307;
    a = 1.7976931348623E+308;
    max = 1.797693134862316E+308;
    min = -1.797693134862316E+308;

    _2 = 8.98846567431157E+307;
    _4 = 4.49423283715579E+307;
    _8 = 2.24711641857789E+307;
    _16 = 1.12355820928895E+307;
    a = 1.7976931348623E+308;
    max = 1.79769313486231E+308;
    min = -1.79769313486231E+308;

MODULE Ex;

IMPORT
  C:=Console;

(* PROCEDURE P ( VAR x : RECORD END );
  BEGIN
  END P; *)

BEGIN
  C.String('!!!'); C.Flush();
END Ex.

MODULE Ex;

IMPORT
  C:=Console;

CONST
  NumOfPoints = 1000;

TYPE
  PlugStruct = POINTER TO RECORD
  END;

PROCEDURE PlugProc ();
  BEGIN
  END PlugProc;

PROCEDURE FillStack ();
  VAR
    ptr:ARRAY NumOfPoints OF PlugStruct;
    proc:ARRAY NumOfPoints OF PROCEDURE;
    i:INTEGER;
  BEGIN
    FOR i:=0 TO NumOfPoints-1 DO
      NEW(ptr[i]);
      proc[i]:=PlugProc;
    END;
  END FillStack;

PROCEDURE TestStack ();
  VAR
    ptr:ARRAY NumOfPoints OF PlugStruct;
    proc:ARRAY NumOfPoints OF PROCEDURE;
    i:INTEGER;
  BEGIN
    i:=0;
    WHILE (i<NumOfPoints) & (ptr[i]=NIL) DO
      INC(i);
    END;
    IF i=NumOfPoints THEN
      C.String('All pointers are NILs');
    ELSE
      C.String('Pointer No. '); C.Int(i,0); C.String(' is not NIL');
    END;
    C.Ln();

    i:=0;
    WHILE (i<NumOfPoints) & (proc[i]=NIL) DO
      INC(i);
    END;
    IF i=NumOfPoints THEN
      C.String('All procedures are NILs');
    ELSE
      C.String('Procedure No. '); C.Int(i,0); C.String(' is not NIL');
    END;
    C.Ln();
    C.Flush();
  END TestStack;

BEGIN
  FillStack();
  TestStack();
END Ex.

void (*prc)(void) = NIL;
struct Ex__2 *ptr = NIL;
void (*arr[10])(void) = {0};

static void (*Ex_prc)(void);
static struct Ex__1 *Ex_ptr;
static void (*Ex_arr[10])(void);