[  474.028845][ T4437] packetdrill (4437) used greatest stack depth: 23392 bytes left