[   76.055995][  T457] packetdrill (457) used greatest stack depth: 24064 bytes left