[   57.834061][  T390] packetdrill (390) used greatest stack depth: 24736 bytes left