anchor.diff:  // ====== HANDLE_1A ======
   
   interface Handle1A;
  -  interface Client#(RegRequest#(32, 16), RegResponse#(16)) vrounds_register;
  -  interface Client#(RegRequest#(32, 256), RegResponse#(256)) values_register;
  +  interface Client#(RegRequest#(16, 16), RegResponse#(16)) vrounds_register;
  +  interface Client#(RegRequest#(16, 256), RegResponse#(256)) values_register;
     interface Client#(RegRequest#(1, 16), RegResponse#(16)) datapath_id;
  -  interface Client#(RegRequest#(32, 16), RegResponse#(16)) rounds_register;
  +  interface Client#(RegRequest#(16, 16), RegResponse#(16)) rounds_register;
     interface Server#(BBRequest, BBResponse) prev_control_state;
   endinterface
   module mkHandle1A  (Handle1A);
  
positive.code:   Forward forward_0 <- mkForward();
    Drop _drop_1 <- mkDrop();
    ReadRound read_round_0 <- mkReadRound();
    RegisterIfc#(1, 16) datapath_id <- mkP4Register(nil);
    RegisterIfc#(32, 16) rounds_register <- mkP4Register(nil);
    RegisterIfc#(32, 16) vrounds_register <- mkP4Register(nil);
    RegisterIfc#(32, 256) values_register <- mkP4Register(nil);
    mkChan(mkFIFOF, mkFIFOF, acceptor_tbl.next_control_state_0, handle_1a_0.prev_control_state);
    mkChan(mkFIFOF, mkFIFOF, acceptor_tbl.next_control_state_1, handle_2a_0.prev_control_state);
    mkChan(mkFIFOF, mkFIFOF, acceptor_tbl.next_control_state_2, _drop_0.prev_control_state);
  
negative.code: // ====== HANDLE_2A ======
  
  interface Handle2A;
    interface Client#(RegRequest#(16, 16), RegResponse#(16)) rounds_register;
    interface Client#(RegRequest#(16, 16), RegResponse#(16)) vrounds_register;
    interface Client#(RegRequest#(16, 256), RegResponse#(256)) values_register;
    interface Client#(RegRequest#(1, 16), RegResponse#(16)) datapath_id;
    interface Server#(BBRequest, BBResponse) prev_control_state;
  endinterface
  