print variable c

printf("%d\n", x);