let help = "Compute external out. Those are an over-approximation of the set of written locations, excluding locals"