int main()
{
       int buf[1000];
       buf[0] = 1234;
       //populate buf
       foo(buf);//is this correct? Can we pass buf as a pointer that foo expects?



}
void foo(void*ptr)
{
  printf("%s","Hello from foo\n");
  
}

Hello from foo