C
H
E
R
I
-
C
_
M
emory_
M
odel
Preliminary_Library
CHERI_C_Concrete_Memory_Model
CHERI_C_Global_Environment