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