const WRITE: vm_prot_t = 2;

[MC2] pages can be written