[   25.130764][  T241] packetdrill (241) used greatest stack depth: 23680 bytes left