procedure main(arglist) if *arglist = 0 then stop("Provide the names of variables in the argument list") &dump := 1 # dump program state information and variables after run every variable(!arglist) := 1 # set each user specified variable name in arglist to 1 end