int main() { return 0 | 1; }