#include int x; int main() { int x=1; printf("%d\n", x); }