since IRS has no clues you are free to use form 1256. Also note: I am not a CPA.
Disclaimer: I am not a lawyer. This communication is not intended as legal advice, and no attorney client relationship results. Please consult your own attorney for legal advice.