#include <stdio.h>
#include <SDL/SDL.h>
#include <SDL/SDL_timer.h>
#define TICK_INTERVAL    30

int main(int argc, char *argv[]) {
//void main() {

Uint32 TimeLeft(void)
{
 
  static Uint32 next_time = 0;
    Uint32 now;

    now = SDL_GetTicks();
    if ( next_time <= now ) {
        next_time = now+TICK_INTERVAL;
        //printf("\n%s",now); <that doesn't work :(
	return(0);
    }
    return(next_time-now);
	
}
}