[   39.352625][  T231] packetdrill (231) used greatest stack depth: 24192 bytes left