===== 5.1 Export File Name =====

As described in [[4.1.1_Export File Format| Section 4.1.1, Export File Format]], the name of a export file must be the last portion of the package specification followed by the extension `**.exp**'. For example, the name of the export file of the **javacard.framework** package must be framework**.exp**. Operating systems that impose limitations on file name lengths may transform an export file's name according to its conventions.