main() { assert 1 == 0 }