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