Situation: The video is paused. I'm setting time to 1000 milliseconds with libvlc_media_player_set_time() . In some time I'm getting the current time with libvlc_media_player_get_time() and it returns 998 milliseconds instead of 1000. Next, I'm setting time to 998 milliseconds (it should be current ...