[   78.205438][  T459] packetdrill (459) used greatest stack depth: 23896 bytes left