[   75.461912][  T459] packetdrill (459) used greatest stack depth: 24464 bytes left