Constant jit_prot_t_JIT_PROT_READ 

pub const jit_prot_t_JIT_PROT_READ: jit_prot_t = 1;