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