[   75.861063][  T457] packetdrill (457) used greatest stack depth: 23896 bytes left