ND_PRINT(" frame flags+body (8-bit) length %" PRIu64, body_len_declared);
} else {
header_len = 1 + 8; /* 0xFF, length */
ND_PRINT(" frame flags+body (64-bit) length");
ND_TCHECK_LEN(cp, header_len); /* 0xFF, length */
ND_PRINT(" frame flags+body (8-bit) length %" PRIu64, body_len_declared);
} else {
header_len = 1 + 8; /* 0xFF, length */
ND_PRINT(" frame flags+body (64-bit) length");
ND_TCHECK_LEN(cp, header_len); /* 0xFF, length */