+void x11_get_real_auth(void *authv, char *display);
+char *x11_display(const char *display);
+
+/* Platform-dependent X11 functions */
+extern void platform_get_x11_auth(char *display, int *proto,
+ unsigned char *data, int *datalen);
+extern const char platform_x11_best_transport[];
+/* best X11 hostname for this platform if none specified */
+SockAddr platform_get_x11_unix_address(int displaynum, char **canonicalname);
+/* make up a SockAddr naming the address for displaynum */
+char *platform_get_x_display(void);
+/* allocated local X display string, if any */