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