As described in 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.