It could be an alternative to `progv', where the variable list isn't computed dynamically (the values list still is), but OTOH allows generalized variables. Would that make sense? Thanks, Michael.