let
model_block (talloc : tbl_alloc) (p:
D
.integer) :
D
.integer =
D
.e_app2
"access"
talloc p