[   67.271863][  T708] packetdrill (708) used greatest stack depth: 23632 bytes left