#include '/user/profs/cleary/bin/options.i';

 procedure Option;
 begin
 case Opt of
 'a','A':Debug:=activity;
 'd','D':Debug:=dump;
 'h','H':HalveThreshold:=StringNum/100;
 'n','N':Debug:=none;
 'p','P':Debug:=post;
 't','T':Debug:=trace;
 'v','V':Verifiable:=true;
 end;
 end;

 begin
 Debug:=trace;
 Verifiable:=false;
 HalveThreshold:=67/100;