pub const EXTPROC: u32 = 65536;