112             pagevars[varname] = new_index;

   112             pagevars[varname] = new_index;

   113         }

   113         }

   114         let defaultval = local_defaults[varname];

   114         let defaultval = local_defaults[varname];

   115         if(defaultval != undefined) {

   115         if(defaultval != undefined) {

   116             cache[new_index] = defaultval; 

   116             cache[new_index] = defaultval; 

   117             if(persistent_locals.has(varname))

   118             if(persistent_locals.has(varname))

   118                 persistent_indexes.set(new_index, varname);

   119                 persistent_indexes.set(new_index, varname);

   119         }

   120         }

   120         return new_index;

   121         return new_index;

   121     }

   122     }