#include <stdio.h> int main() { int x = 10; printf("%d", x); return 0; }