[   24.743723][  T231] packetdrill (231) used greatest stack depth: 24256 bytes left