int main() { return 10/0; }