int main() { return 0'000; }