#include <stdio.h>
#include <vorbis/vorbisfile.h>

int ov_open_callbacks_foo(void *datasource, OggVorbis_File *vf, char *initial, long ibytes, ov_callbacks callbacks) {
  printf("%p:%p:%p:%d:%p\n", datasource, vf, initial, ibytes, callbacks);
}