#include <stdio.h>

int number;

int doubleIt() {
	number *= 2;
}

int main(void) {
	number = 3;
	doubleIt();
	printf("Doubled number is %d", number);
	return 0;
}