[  123.086267][  T777] packetdrill (777) used greatest stack depth: 24584 bytes left