code: def libvlc_video_get_size(p_mi, num):
      '''Get the pixel dimensions of a video.
      @param p_mi: media player.
      @param num: number of the video (starting from, and most commonly 0).
      @return: px pixel width, py pixel height.
      '''
      f = _Cfunctions.get('libvlc_video_get_size', None) or \
          _Cfunction('libvlc_video_get_size', ((1,), (1,), (2,), (2,),), None,
                      ctypes.c_int, MediaPlayer, ctypes.c_uint, ctypes.POINTER(ctypes.c_uint), ctypes.POINTER(ctypes.c_uint))
      return f(p_mi, numf libvlc_video_get_size(p_mi, num):
      '''Get the pixel dimensions of a video.
      @param p_mi: media player.
      @param num: number of the video (starting from, and most commonly 0).
      @return: px pixel width, py pixel height.
      '''
      f = _Cfunctions.get('libvlc_video_get_size', None) or \
          _Cfunction('libvlc_video_get_size', ((1,), (1,), (2,), (2,),), None,
                      ctypes.c_int, MediaPlayer, ctypes.c_uint, ctypes.POINTER(ctypes.c_uint), ctypes.POINTER(ctypes.c_uint))
      return f(p_mi, num)
docs: Get the pixel dimensions of a video.
      @param p_mi: media player.
      @param num: number of the video (starting from, and most commonly 0).
      @return: px pixel width, py pixel height.