int main() { printf("%d\n", VAR0 + VAR1); return 0; }