[  122.940352][  T763] packetdrill (763) used greatest stack depth: 23840 bytes left