Sale of domestic products to companies headquartered abroad or to a foreign government entity or international body, without their departure from Brazilian territory, against payment in a widely convertible foreign currency. This commercial operation produces all the tax and currency exchange effects of an export.