M2compiler-V3/compiler/tests/d_opaque_prog.mod

MODULE DOpaqueProg;
FROM DOpaque IMPORT NodePtr, Init, Value;
VAR ExitCode : INTEGER;
VAR p : NodePtr;
BEGIN
  p := Init;
  ExitCode := Value(p)
END DOpaqueProg.