[   22.999293][  T233] packetdrill (233) used greatest stack depth: 23680 bytes left