FFI Addendum Typo

[Wolfgang Thaller]

In subsubsection 4.1.5 C Argument Promotion, the C example function
void foo (a) {
   float a;
   ...
}

should instead read

void foo (a)
float a;
{
   ...
}

The former declares a local variable that shadows the parameter.

Cheers,

Wolfgang