/* Except PostScript-native encodings, write each encoding vector. */
for (int i = 0; i < encodingsUsed.size(); i++) {
final EncodingVector vector = encodingsUsed.get(i);
if (! vector.isPredefinedPs()) {
writeRaw(vector.asPostScript(null));
}
}
/* Bind the proper encoding to each font. */
for (int i = 0; i < fontUses.length; i++) {