let base_address m loc = Tint.base (malloc_of_mem m) loc