#include int main(void) { abort(); return 0; }