let
block_length mem l =
F
.unwrap (
F
.e_access mem.alloc (base l))