% program or stopped program 
 eprogram[varCount: nat] : DATATYPE 
 BEGIN
   IMPORTING program[varCount]
   prog(p: program) : prog?
   stop : stop?
 END eprogram