
  VAR
    dfv$test_retransmission_count: [XREF]  0 .. 0ffff(16);
