anchor.diff:      od;
       return optval;
     end;
  +  
  +  # If option "ACEinfile" is set we only want to produce an ACE input file
  +  infile := GetOptionValue(ACEinfo.infile, [ "ACEinfile" ]);
  +
  +  outfile := GetOptionValue(ACEinfo.outfile, [ "ao", "ACEoutfile" ]);
       
     # Give a name to the group ACE will be dealing with (this is not
     # actually necessary ... ACE essentially treats it as a comment)
  
positive.code:       fi;
      fi;
      if echo then
        if fullopt in ["echo", "outfile"] then
          # First deal with the non-ACE options
          Print(" ", opt, " := ", optval, " (not passed to ACE)\n");
        elif value = "" then
          Print(" ", opt, " (no value)\n");
        else
  
negative.code: ##  chance of still being functional if new options are added to the ACE bin-
  ##  ary.
  ##
  ##  Some  options  are  `GAP4-introduced'  i.e. technically they are not  ACE 
  ##  options  ...  there is a comment beside such options;  and  they are also 
  ##  listed in NonACEbinOptions below.
  ##
  
  KnownACEoptions := rec(
    ACEinfile := [9, IsString], # This is a GAP4-introduced option 
                                # (not an ACE binary option)
    #sg := [2, <word list>],
    #rl := [2, <relation list>],
    aep  := [3, [1..7]],
    #ai := [2, <filename>],
    ao   := [2, IsString],      # "ACEoutfile" is a GAP4-introduced 
    ACEoutfile := [8, IsString],# `synonym' for "ao"
    asis := [2, [0,1]],
    #begin := [3, [""]], start := [5, [""]], end := [3, [""]],
    #bye := [3, [""]], exit := [4, [""]], quit := [1, [""]],
    cc   := [2, x -> IsInt(x) and x > 1],
    cfactor := [1, IsInt],      # "cfactor" and "ct" are synonyms
    ct   := [2, IsInt],
    #check := [5, [""]], redo := [4, [""]],
    compaction := [3, [0..100]],
  