Months after the attack on the U.S. Consulate in Benghazi, Libya, that killed Ambassador Chris Stevens and three other Americans, the bill would provide an additional 1,000 Marines for embassy security.

Reacting to relentless violence in Syria, the bill would require the Pentagon to report to Congress on possible military options.

The bill would authorize nearly $480 million for the U.S.-Israeli missile defense, including $211 million for Iron Dome, the system designed to intercept short-range rockets and mortars fired by Palestinian militants from Gaza at southern Israel.

One of the thorniest issues in negotiations was the handling of terrorist suspects. Lawmakers finally agreed on language that says ‘‘nothing in the authorization for the Use of Military Force or (the current defense bill) shall be construed to deny the availability of the writ of habeas corpus or to deny any constitutional rights’’ to an individual in the United States who would be entitled to such rights.

The agreement retained a Senate provision that stops the Pentagon from sending additional spies overseas until Congress has answers about the cost and how the spies would be used.

___