#include <stdio.h>

int  mp3_get_bitrate(FILE *f, int size){}
void mp3_start_play(FILE *f, int pos){}
int  mp3_get_offset(void){} // 0-1023
void mp3_update(int *buffer, int length, int stereo){}