How do aliens departing the U.S. request an exit or sailing permit? a. They file either Form 2063 or 1040C with the IRS b. They file a request with a Foreign Service Officer at their country's embassy. c. They file Form 1040NR with the IRS d. They file form 8843