int main() { return 1/0; }