Constant jl_sys::EXTPROC

pub const EXTPROC: u32 = 65536;