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