[   76.374940][  T457] packetdrill (457) used greatest stack depth: 24144 bytes left