[   64.310459][  T459] packetdrill (459) used greatest stack depth: 24368 bytes left