<li>Verify that a function's argument list agrees with its declared
type.</li>
<li>It is illegal to specify a name for a void value.</li>
- <li>It is illegal to have a internal global value with no initializer.</li>
+ <li>It is illegal to have an internal global value with no initializer.</li>
<li>It is illegal to have a ret instruction that returns a value that does
not agree with the function return value type.</li>
<li>Function call argument types match the function prototype.</li>