let
var_zone v =
Locations
.valid_enumerate_bits (
Locations
.loc_of_varinfo v)