[  451.759333][ T4007] packetdrill (4007) used greatest stack depth: 24096 bytes left