void __main () { }