In audio.c.v, I think the documented typedef was truncated, it shows:
// This function is called when the audio device needs more data.
...
// typedef void (SDLCALL * SDL_AudioCallback) (void *userdata, Uint8 * stream)
from the SDL headers it is defined
typedef void (SDLCALL * SDL_AudioCallback) (void *userdata, Uint8 * stream, int len);
And so, the real issue is, the function type for AudioCallback is missing the len parameter.
pub type AudioCallback = fn (userdata voidptr, stream &u8)
to
pub type AudioCallback = fn (userdata voidptr, stream &u8, len int)
Thanks!