[  138.385841][  T807] packetdrill (807) used greatest stack depth: 24024 bytes left