Now I understand. They mean "where the variable is stored" in terms of memory or register life-times, not in terms of "where the variable is stored _to_" in the variable history sense. I had read that write-up as a proposal to issue a set of locations at which a variable was written. Sorry, -John