Constant ADDR_LIMIT_32BIT 

pub const ADDR_LIMIT_32BIT: c_int = 0x0800000;