Constant stainless_ffmpeg_sys::__SYSCALL_WORDSIZE

pub const __SYSCALL_WORDSIZE: c_int = 64;