设有如下的过程说明 PROCEDURE wri； BEGIN Writeln（‘Welcome to use pascal!!!’）； End； 则下面有关过程wri的叙述中正确的是（）

• A、过程说明有错，因为没有形式参数
• B、过程说明有错，因未说明过程的类型
• C、过程说明有错，因为在过程体内没有给过程名赋值的语句
• D、过程说明正确