auto main() -> int {
}