// Test for message: parameter mismatch: %d declared, %d defined [51]
/* lint1-extra-flags: -X 351 */
void
example(int, int);
void
/* expect+4: warning: function definition for 'example' with identifier list is obsolete in C23 [384] */
/* expect+3: warning: parameter 'a' unused in function 'example' [231] */
/* expect+2: warning: parameter 'b' unused in function 'example' [231] */
/* expect+1: warning: parameter 'c' unused in function 'example' [231] */
example(a, b, c)
int a, b, c;
/* expect+1: error: parameter mismatch: 2 declared, 3 defined [51] */
{
}