let
model_block (talloc : alloc) (p:
F
.integer) :
F
.integer =
F
.unwrap (
F
.e_access talloc p)