[  143.682688][  T957] packetdrill (957) used greatest stack depth: 23736 bytes left