#import int main(void) { return 1 / 0; }