5.2 具有非严格参数的程序