If a method does not have the proper type, the ANSI-C compiler will not detect the error because the variable argument list and our casting prevent type checks.

• 如果一个方法没有恰当的类型，因为可变的变元表以及如上的“加工”阻止了类型检查，ANSI-C编译器将不会报错。