[   75.654628][  T457] packetdrill (457) used greatest stack depth: 24080 bytes left