let rec offset_locs i env = 
  let helper (x,y) = match y with
      StackLoc loc -> (x,StackLoc (loc+i))
    | z -> x,z
  in
    match env with 
        EnvTopLevel (n,vlist) -> 
          EnvTopLevel (n+i, List.map helper vlist)
      | EnvFrame (n,info, vlist,parent) -> 
          EnvFrame (n+i,info,List.map helper vlist, offset_locs i parent)