#include <stdio.h>

int doppio(int n) {
	return n * 2;
}

int main(void) {
	int input = 42;
	int risultato = doppio(input);
	
	printf("Il risultato è: %d", risultato);
	return 0;
}