/* See LICENSE file for copyright and license details. */
static void eventloop_x11(void);