auto main() { }