Constant WEBKIT_DOWNLOAD_ERROR_DESTINATION 

pub const WEBKIT_DOWNLOAD_ERROR_DESTINATION: WebKitDownloadError = 401;