[   76.239049][  T459] packetdrill (459) used greatest stack depth: 24440 bytes left