const READ: vm_prot_t = 1;

[MC2] pages can be read