checkoff;
putline("inserting ""extended instr"" ...");
insert("extended instr");
putline("inserting ""convert"" ...");
insert("convert");
putline("inserting ""info"" ...");
insert("info");
putline("inserting ""disa"" ...");
insert("disa");
putline("inserting ""trace"" ...");
insert("trace");
putline("inserting ""gen.bulletin"" ...");
insert("gen.bulletin");
putline("compiling ""gen.procheads"" ...");
run("gen.procheads");
do("set procheads(""procheads"")");
forget("bulletin",quiet);
putline("task """+name(myself)+""" is now global manager");
putline("press any key ...");
pause; global manager