// El parámetro es una copia: lo que cambia inc no le llega a main.
#include <stdio.h>

void inc(int x) {
    x++;
    printf("en inc: x = %d\n", x);
}

int plus_one(int x) {
    return x + 1;
}

int main(void) {
    int x = 7;

    inc(x);
    printf("en main: x = %d\n", x);

    x = plus_one(x);
    printf("con return: x = %d\n", x);
    return 0;
}