[   36.661687][  T231] packetdrill (231) used greatest stack depth: 24088 bytes left