[   75.751527][  T457] packetdrill (457) used greatest stack depth: 24400 bytes left