Constant AVCodecID_AV_CODEC_ID_WMAPRO 

pub const AVCodecID_AV_CODEC_ID_WMAPRO: AVCodecID = 86053;