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