[   75.884501][  T459] packetdrill (459) used greatest stack depth: 24560 bytes left