#include <stdio.h>
int main(void){printf("DF-4234: txp_alloc_rings error path leaks 256 rb_sd swdesc kmallocs; ifmedia not removed on late attach failure\n");return 0;}
