[   75.820710][  T457] packetdrill (457) used greatest stack depth: 24208 bytes left