[  510.110338][ T5807] packetdrill (5807) used greatest stack depth: 23576 bytes left