[   75.447740][  T457] packetdrill (457) used greatest stack depth: 24088 bytes left