[   75.914008][  T456] packetdrill (456) used greatest stack depth: 23880 bytes left