[  120.710623][  T761] packetdrill (761) used greatest stack depth: 24400 bytes left