#include<stdio.h>

int times_two(int x){
	size_t an_array[2] = {42, 634};
	int result = x * 2;
	return result;
}

int main(){
	int c = times_two(72);
	printf("c = %d\n", c);
	return 0;
}