[   21.520895][  T231] packetdrill (231) used greatest stack depth: 24512 bytes left