[  500.480195][ T4567] packetdrill (4567) used greatest stack depth: 23840 bytes left