anchor.diff:     Reg#(Bit#(64)) sinkdddd3 <- mkReg(0);
      Reg#(Bit#(64)) sinkdddd4 <- mkReg(0);
      
  -   Vector(9,Repeat) rfns = ?;
  +   Vector#(9, Repeat) rfns = ?;
      rfns[0] <- mkRepeat(dospit);
      rfns[1] <- mkRepeat(dospitl);
      rfns[2] <- mkRepeat(dospitll);
  
positive.code: module mkPortalPerfRequest#(PortalPerfIndication indication) (PortalPerfRequest);
  
     function Action dospit();
        return ( action 
  	 indication.spit(); 
  	 endaction );
     endfunction
  
     function Action dospitl();
  
negative.code: // SOFTWARE.
  
  import Repeat::*;
  import Vector::*;
  
  typedef enum { sp, spl, spll, splll, spllll, spd, spdd, spddd, spdddd } SpitType deriving (Bits);
  
  interface PortalPerfRequest;
     method Action swallowl(Bit#(32) v1);
  