DF-3213: M=192 poisoned slots, cache=2048 entries
probe NULL reply: 6 words, xid=00001000 mtype=1
phase A [0] reply: 7 words: 00002000 00000001 00000000 00000000 00000000 00000000 0000000d
phase A done: 192 v2 SYMLINK (repstat) entries
phase B done: cache full (2048 entries)
phase C [0] orig reply: 6 words: 00006000 00000001 00000000 00000000 00000000 00000004
phase C done: 192 v3 REMOVE stored into stale slots
phase D: retransmits
  [000] identical resend (no bit30, clamped or unpoisoned)
  [001] identical resend (no bit30, clamped or unpoisoned)
  [002] identical resend (no bit30, clamped or unpoisoned)
  [003] identical resend (no bit30, clamped or unpoisoned)
  [004] identical resend (no bit30, clamped or unpoisoned)
  [005] identical resend (no bit30, clamped or unpoisoned)
  [006] identical resend (no bit30, clamped or unpoisoned)
  [007] identical resend (no bit30, clamped or unpoisoned)
  [008] identical resend (no bit30, clamped or unpoisoned)
  [009] identical resend (no bit30, clamped or unpoisoned)
  [010] identical resend (no bit30, clamped or unpoisoned)
  [011] identical resend (no bit30, clamped or unpoisoned)
  [012] identical resend (no bit30, clamped or unpoisoned)
  [013] identical resend (no bit30, clamped or unpoisoned)
  [014] identical resend (no bit30, clamped or unpoisoned)
  [015] identical resend (no bit30, clamped or unpoisoned)
  [016] identical resend (no bit30, clamped or unpoisoned)
  [017] identical resend (no bit30, clamped or unpoisoned)
  [018] identical resend (no bit30, clamped or unpoisoned)
  [019] identical resend (no bit30, clamped or unpoisoned)
  [020] identical resend (no bit30, clamped or unpoisoned)
  [021] identical resend (no bit30, clamped or unpoisoned)
  [022] identical resend (no bit30, clamped or unpoisoned)
  [023] identical resend (no bit30, clamped or unpoisoned)
  [024] identical resend (no bit30, clamped or unpoisoned)
  [025] identical resend (no bit30, clamped or unpoisoned)
  [026] identical resend (no bit30, clamped or unpoisoned)
  [027] identical resend (no bit30, clamped or unpoisoned)
  [028] identical resend (no bit30, clamped or unpoisoned)
  [029] identical resend (no bit30, clamped or unpoisoned)
  [030] identical resend (no bit30, clamped or unpoisoned)
  [031] identical resend (no bit30, clamped or unpoisoned)
  [032] identical resend (no bit30, clamped or unpoisoned)
  [033] identical resend (no bit30, clamped or unpoisoned)
  [034] identical resend (no bit30, clamped or unpoisoned)
  [035] identical resend (no bit30, clamped or unpoisoned)
  [036] identical resend (no bit30, clamped or unpoisoned)
  [037] identical resend (no bit30, clamped or unpoisoned)
  [038] identical resend (no bit30, clamped or unpoisoned)
  [039] identical resend (no bit30, clamped or unpoisoned)
  [040] identical resend (no bit30, clamped or unpoisoned)
  [041] identical resend (no bit30, clamped or unpoisoned)
  [042] identical resend (no bit30, clamped or unpoisoned)
  [043] identical resend (no bit30, clamped or unpoisoned)
  [044] identical resend (no bit30, clamped or unpoisoned)
  [045] identical resend (no bit30, clamped or unpoisoned)
  [046] identical resend (no bit30, clamped or unpoisoned)
  [047] identical resend (no bit30, clamped or unpoisoned)
  [048] identical resend (no bit30, clamped or unpoisoned)
  [049] identical resend (no bit30, clamped or unpoisoned)
  [050] identical resend (no bit30, clamped or unpoisoned)
  [051] identical resend (no bit30, clamped or unpoisoned)
  [052] identical resend (no bit30, clamped or unpoisoned)
  [053] identical resend (no bit30, clamped or unpoisoned)
  [054] identical resend (no bit30, clamped or unpoisoned)
  [055] identical resend (no bit30, clamped or unpoisoned)
  [056] identical resend (no bit30, clamped or unpoisoned)
  [057] identical resend (no bit30, clamped or unpoisoned)
  [058] identical resend (no bit30, clamped or unpoisoned)
  [059] identical resend (no bit30, clamped or unpoisoned)
  [060] identical resend (no bit30, clamped or unpoisoned)
  [061] identical resend (no bit30, clamped or unpoisoned)
  [062] identical resend (no bit30, clamped or unpoisoned)
  [063] identical resend (no bit30, clamped or unpoisoned)
  [064] identical resend (no bit30, clamped or unpoisoned)
  [065] identical resend (no bit30, clamped or unpoisoned)
  [066] identical resend (no bit30, clamped or unpoisoned)
  [067] identical resend (no bit30, clamped or unpoisoned)
  [068] identical resend (no bit30, clamped or unpoisoned)
  [069] identical resend (no bit30, clamped or unpoisoned)
  [070] identical resend (no bit30, clamped or unpoisoned)
  [071] identical resend (no bit30, clamped or unpoisoned)
  [072] identical resend (no bit30, clamped or unpoisoned)
  [073] identical resend (no bit30, clamped or unpoisoned)
  [074] identical resend (no bit30, clamped or unpoisoned)
  [075] identical resend (no bit30, clamped or unpoisoned)
  [076] identical resend (no bit30, clamped or unpoisoned)
  [077] identical resend (no bit30, clamped or unpoisoned)
  [078] identical resend (no bit30, clamped or unpoisoned)
  [079] identical resend (no bit30, clamped or unpoisoned)
  [080] identical resend (no bit30, clamped or unpoisoned)
  [081] identical resend (no bit30, clamped or unpoisoned)
  [082] identical resend (no bit30, clamped or unpoisoned)
  [083] identical resend (no bit30, clamped or unpoisoned)
  [084] identical resend (no bit30, clamped or unpoisoned)
  [085] identical resend (no bit30, clamped or unpoisoned)
  [086] identical resend (no bit30, clamped or unpoisoned)
  [087] identical resend (no bit30, clamped or unpoisoned)
  [088] identical resend (no bit30, clamped or unpoisoned)
  [089] identical resend (no bit30, clamped or unpoisoned)
  [090] identical resend (no bit30, clamped or unpoisoned)
  [091] identical resend (no bit30, clamped or unpoisoned)
  [092] identical resend (no bit30, clamped or unpoisoned)
  [093] identical resend (no bit30, clamped or unpoisoned)
  [094] identical resend (no bit30, clamped or unpoisoned)
  [095] identical resend (no bit30, clamped or unpoisoned)
  [096] identical resend (no bit30, clamped or unpoisoned)
  [097] identical resend (no bit30, clamped or unpoisoned)
  [098] identical resend (no bit30, clamped or unpoisoned)
  [099] identical resend (no bit30, clamped or unpoisoned)
  [100] identical resend (no bit30, clamped or unpoisoned)
  [101] identical resend (no bit30, clamped or unpoisoned)
  [102] identical resend (no bit30, clamped or unpoisoned)
  [103] identical resend (no bit30, clamped or unpoisoned)
  [104] identical resend (no bit30, clamped or unpoisoned)
  [105] identical resend (no bit30, clamped or unpoisoned)
  [106] identical resend (no bit30, clamped or unpoisoned)
  [107] identical resend (no bit30, clamped or unpoisoned)
  [108] identical resend (no bit30, clamped or unpoisoned)
  [109] identical resend (no bit30, clamped or unpoisoned)
  [110] identical resend (no bit30, clamped or unpoisoned)
  [111] identical resend (no bit30, clamped or unpoisoned)
  [112] identical resend (no bit30, clamped or unpoisoned)
  [113] identical resend (no bit30, clamped or unpoisoned)
  [114] identical resend (no bit30, clamped or unpoisoned)
  [115] identical resend (no bit30, clamped or unpoisoned)
  [116] identical resend (no bit30, clamped or unpoisoned)
  [117] identical resend (no bit30, clamped or unpoisoned)
  [118] identical resend (no bit30, clamped or unpoisoned)
  [119] identical resend (no bit30, clamped or unpoisoned)
  [120] identical resend (no bit30, clamped or unpoisoned)
  [121] identical resend (no bit30, clamped or unpoisoned)
  [122] identical resend (no bit30, clamped or unpoisoned)
  [123] identical resend (no bit30, clamped or unpoisoned)
  [124] identical resend (no bit30, clamped or unpoisoned)
  [125] identical resend (no bit30, clamped or unpoisoned)
  [126] identical resend (no bit30, clamped or unpoisoned)
  [127] identical resend (no bit30, clamped or unpoisoned)
  [128] identical resend (no bit30, clamped or unpoisoned)
  [129] identical resend (no bit30, clamped or unpoisoned)
  [130] identical resend (no bit30, clamped or unpoisoned)
  [131] identical resend (no bit30, clamped or unpoisoned)
  [132] identical resend (no bit30, clamped or unpoisoned)
  [133] identical resend (no bit30, clamped or unpoisoned)
  [134] identical resend (no bit30, clamped or unpoisoned)
  [135] identical resend (no bit30, clamped or unpoisoned)
  [136] identical resend (no bit30, clamped or unpoisoned)
  [137] identical resend (no bit30, clamped or unpoisoned)
  [138] identical resend (no bit30, clamped or unpoisoned)
  [139] identical resend (no bit30, clamped or unpoisoned)
  [140] identical resend (no bit30, clamped or unpoisoned)
  [141] identical resend (no bit30, clamped or unpoisoned)
  [142] identical resend (no bit30, clamped or unpoisoned)
  [143] identical resend (no bit30, clamped or unpoisoned)
  [144] identical resend (no bit30, clamped or unpoisoned)
  [145] identical resend (no bit30, clamped or unpoisoned)
  [146] identical resend (no bit30, clamped or unpoisoned)
  [147] identical resend (no bit30, clamped or unpoisoned)
  [148] identical resend (no bit30, clamped or unpoisoned)
  [149] identical resend (no bit30, clamped or unpoisoned)
  [150] identical resend (no bit30, clamped or unpoisoned)
  [151] identical resend (no bit30, clamped or unpoisoned)
  [152] identical resend (no bit30, clamped or unpoisoned)
  [153] identical resend (no bit30, clamped or unpoisoned)
  [154] identical resend (no bit30, clamped or unpoisoned)
  [155] identical resend (no bit30, clamped or unpoisoned)
  [156] identical resend (no bit30, clamped or unpoisoned)
  [157] identical resend (no bit30, clamped or unpoisoned)
  [158] identical resend (no bit30, clamped or unpoisoned)
  [159] identical resend (no bit30, clamped or unpoisoned)
  [160] identical resend (no bit30, clamped or unpoisoned)
  [161] identical resend (no bit30, clamped or unpoisoned)
  [162] identical resend (no bit30, clamped or unpoisoned)
  [163] identical resend (no bit30, clamped or unpoisoned)
  [164] identical resend (no bit30, clamped or unpoisoned)
  [165] identical resend (no bit30, clamped or unpoisoned)
  [166] identical resend (no bit30, clamped or unpoisoned)
  [167] identical resend (no bit30, clamped or unpoisoned)
  [168] identical resend (no bit30, clamped or unpoisoned)
  [169] identical resend (no bit30, clamped or unpoisoned)
  [170] identical resend (no bit30, clamped or unpoisoned)
  [171] identical resend (no bit30, clamped or unpoisoned)
  [172] identical resend (no bit30, clamped or unpoisoned)
  [173] identical resend (no bit30, clamped or unpoisoned)
  [174] identical resend (no bit30, clamped or unpoisoned)
  [175] identical resend (no bit30, clamped or unpoisoned)
  [176] identical resend (no bit30, clamped or unpoisoned)
  [177] identical resend (no bit30, clamped or unpoisoned)
  [178] identical resend (no bit30, clamped or unpoisoned)
  [179] identical resend (no bit30, clamped or unpoisoned)
  [180] identical resend (no bit30, clamped or unpoisoned)
  [181] identical resend (no bit30, clamped or unpoisoned)
  [182] identical resend (no bit30, clamped or unpoisoned)
  [183] identical resend (no bit30, clamped or unpoisoned)
  [184] identical resend (no bit30, clamped or unpoisoned)
  [185] identical resend (no bit30, clamped or unpoisoned)
  [186] identical resend (no bit30, clamped or unpoisoned)
  [187] identical resend (no bit30, clamped or unpoisoned)
  [188] identical resend (no bit30, clamped or unpoisoned)
  [189] identical resend (no bit30, clamped or unpoisoned)
  [190] identical resend (no bit30, clamped or unpoisoned)
  [191] identical resend (no bit30, clamped or unpoisoned)
control: fresh v3 REMOVE retransmit -> byte-identical resend (expected)
RESULT: 0 raw pointer leaks, 0 stale-status corruptions, 192 total poisoned