A dummy type is defined, to hold the entry point method Main.

• 定义了一个虚拟类型以容纳入口点方法Main。