int __attribute__((__stdcall__)) getaddrinfo(int,int,int,int);

int
main ()
{
return getaddrinfo (0,0,0,0);
  ;
  return 0;
}