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