/* FAIL - void parameter cannot have a name
 */
float a(void x)
{
  return x;
}