[  512.484281][ T4885] packetdrill (4885) used greatest stack depth: 23808 bytes left