PACKET setup eumel mini eumel dummies    (* Stand : 08.04.88 *)
DEFINES FILE, 
        sequentialfile, 
        output, 
        putline, 
        :=,
        run : 
 
TYPE FILE = INT;
 
INT CONST output :: 0; 

OP := (FILE VAR a, FILE CONST b):

END OP :=;
FILE PROC sequentialfile (INT CONST a, TEXT CONST b) : 
  FILE : (0).
END PROC sequentialfile; 
 
PROC putline (FILE CONST a, TEXT CONST b): 
END PROC putline; 
 
PROC run (TEXT CONST a): 
END PROC run; 
 
END PACKET setup eumel mini eumel dummies;