int foo( int[*] a)
{ return( 3); }

int main()
{

  a = with( [] <= iv < [])
      genarray( [], [], []);

  x = foo( a);
  
  return( x);
}