#include <stdio.h>

void raddoppia(int *x) {
    *x = *x * 2;
}

int main() {
    int n;
    n = 3;
    raddoppia( &n );
    printf("%d\n", n );
}