Constant PLIC_MIN_SIZE 

pub const PLIC_MIN_SIZE: usize = 0x4000;