[   75.852609][  T457] packetdrill (457) used greatest stack depth: 24176 bytes left