pub const jit_prot_t_JIT_PROT_EXEC_READ: jit_prot_t = 3;