+ ./trm_sg_overflow
[DF-1237] trm_ExecuteSRB unbounded SG copy demonstrator
[DF-1237] Bug: trm.c:434-440 SG copy loop has no nseg cap vs
[DF-1237]      pSRBSGL[TRM_MAX_SG_LISTENTRY=32];
[DF-1237]      trm.c:668-669 passes sglist_cnt (u16, up to 65535)
[DF-1237]      straight through as nseg with no bounds check.

[DF-1237] trm driver NOT loaded (no 'device trm' in X86_64_GENERIC).
[DF-1237] trm_ExecuteSRB is dead code on this kernel.
[DF-1237] Source-level verification only (see VERDICT.md).
RUN_EXIT=0