Verify that the calling statement and the subprogram declaration agree in their number and types of arguments.

• 查证召集陈述和副程序公告在他们的数字和争论的类型中同意。