@extern void bar (void *p);
void bar (void *p) = #0;
@extern void *foo (integer x);
void *foo (integer x)
{
return nil;
}