rem: SDLWrapper_GetTimeCounter (void) { return (Uint32)(SDL_GetTicks () * ONE_SECOND / 1000.0);
add: SDLWrapper_GetTimeCounter (void) { Uint32 ticks = SDL_GetTicks (); return (ticks / 1000) * ONE_SECOND + ((ticks % 1000) * ONE_SECOND / 1000);
context: SDLWrapper_GetTimeCounter (void) {	return (Uint32)(SDL_GetTicks () * ONE_SECOND / 1000.0);}