anchor.diff:  import FIFOF         :: *;
   import ConfigReg     :: *;
   import Vector        :: *;
  -import LFSR          :: *;
   
   // ============================================================================
   // Module parameters
  
positive.code:         $fwrite(file, failureFound ? "1" : "0");
  
          // Write depth
          putHalfWord(file, depth[31:16]);
          putHalfWord(file, depth[15:0]);
  
          // Initialise
          loopDone <= False;
  
negative.code:   Tuple3#(Freq, App, Stmt) StmtItem;
    Tuple2#(Freq, List#(String)) ParItem;
    Action GenItem;
    List#(PRNG16) PRNGItem;
    Tuple2#(Fmt, Bool) InvariantItem;
    Tuple2#(Bool, Reg#(Bool)) EnsureItem;
    Stmt PreStmtItem;
  