Constant VM_PROT_EXECUTE 

pub const VM_PROT_EXECUTE: vm_prot_t = 0x04;