[   80.148228][  T716] packetdrill (716) used greatest stack depth: 24592 bytes left