[  497.637127][ T4439] packetdrill (4439) used greatest stack depth: 23712 bytes left