+#else /* real X11, load_font_retry() */
+ ".font1: -*-ocr a std-medium-r-*-*-*-1440-*-*-m-*-*-*",
+ ".font2: -*-ocr a std-medium-r-*-*-*-960-*-*-m-*-*-*",
+ ".font3: -*-ocr a std-medium-r-*-*-*-480-*-*-m-*-*-*",
+ ".font4: -*-ocr a std-medium-r-*-*-*-320-*-*-m-*-*-*",
+ ".font5: -*-ocr a std-medium-r-*-*-*-180-*-*-m-*-*-*",
+ ".font6: -*-ocr a std-medium-r-*-*-*-120-*-*-m-*-*-*",
+#endif /* X11 */