[  496.158203][ T4800] packetdrill (4800) used greatest stack depth: 23840 bytes left