Explain how AV_XVMC_RENDER_MAGIC got its seemingly arbitrary value.