TSA officers working at JFK Airport say they prevented an Orange County man from bringing a loaded semi-automatic handgun onto a recent flight.

On Thursday, Transportation Security Administration officers at John F. Kennedy International Airport stopped an unnamed Wallkill resident at a checkpoint with the firearm.

The man was later arrested by Port Authority Police on state charges after a TSA staffer spotted the gun inside the man’s carry-on bag as the bag passed along an x-ray machine conveyor belt.

In a press release the TSA says the gun was loaded with 10 bullets, including one in the chamber.

The TSA reminds everyone that “passengers are permitted to travel with firearms in checked baggage if they are properly packaged and declared. Firearms must be unloaded, packed in a hard-side case, locked, and packed separately from ammunition. Firearm possession laws vary by state and locality.”

No motive was listed.