/* Opaque reference to Movie in
   Movie library
*/
typedef void* Movie;

/* Initialise Movie handler
   - points is number of balls
*/
void Movie_init( int points );

/* Deinitialises Movie handler
*/
void Movie_destroy( void );

/* Load one movie from File
   - filename pointer to file containing
     Movie
   - returns handle to the Movie
*/
Movie *Movie_loadmovie( char *filename );

/* Kills one movie from memory
   - movie reference to cached movie
*/
void Movie_unloadmovie( Movie *movie );

/* Play movie
   - movie Movie to play
   - rate framerate
*/
void Movie_playmovie( Movie *movie, int rate );

/* Inform Movie library that one frame is going
   to be rendered and hence all following pixel
   colors come from the same frame descriptor
*/
void Movie_stamptime( void );

/* Test, whether next frame is to be displayed
*/
int Movie_checkframe( void );

/* Get color information for one specific pixel
   in current frame
   - x,y,z coordinates of ball
*/
unsigned long Movie_getpixelcolor( int x, int y, int z);