[  123.077736][  T761] packetdrill (761) used greatest stack depth: 23840 bytes left