[   18.050143][  T258] packetdrill (258) used greatest stack depth: 24768 bytes left