[   80.974671][  T714] packetdrill (714) used greatest stack depth: 22840 bytes left