static void vnc_debug_gnutls_log(int level, const char* str) {

    VNC_DEBUG("%d %s", level, str);

}

static void vnc_debug_gnutls_log(int level, const char* str) {

    VNC_DEBUG("%d %s", level, str);

}

static void FUNC_0(int VAR_0, const char* VAR_1) {

    VNC_DEBUG("%d %s", VAR_0, VAR_1);

}

static void FUNC_0(int VAR_0, const char* VAR_1) { VNC_DEBUG("%d %s", VAR_0, VAR_1); }