let
block_length mem loc = model_block mem.talloc (
Model
.addr loc)