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