/* FAIL - size must be speicified for formal parameter arrays
 */
float a(float x[], int y)
{
  return x[y];
}