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