A practical debugging guide for media driver developers