Constant WPCEVENT_WEB_FILEDOWNLOAD_value 

pub const WPCEVENT_WEB_FILEDOWNLOAD_value: u32 = 10u32;