protected void ReportGetSampleProgress (double bufferingProgress)
{
if (closed || media_element == null || demuxer == IntPtr.Zero)
throw new InvalidOperationException ();
// TODO (in mediaelement.h): NativeMethods.imedia_demuxer_report_get_sample_progress (media_element.native, bufferingProgress);
}