[   76.186980][  T457] packetdrill (457) used greatest stack depth: 24104 bytes left