static void Main(string[] args) { Console.WriteLine("Hiya, world!"); @__default prog = new __default(); BigInteger @result; prog.Main(out @result); }