[   23.260853][  T241] packetdrill (241) used greatest stack depth: 24712 bytes left