Resolução problema C

gistfile1.c

/**
 * Faça este programa imprimir 13 alterando APENAS o corpo da função "function"
 * NÃO VALE ALTERAR NADA NA FUNÇÃO main
 */

void function() {
    printf("%d\n", 13);
    exit(0);
}

int main() {
    int x;
    x = 13;
    function();
    x++;
    printf("%d\n", x);
}