[   83.580406][  T716] packetdrill (716) used greatest stack depth: 22368 bytes left