let rec n_globals env = 
  let rec helper lst = match lst with
      (_,GlobalLoc _)::rest -> 1 + (helper rest)
    | _::rest -> helper rest
    | [] -> 0
  in
    match env with 
        EnvTopLevel (_,vlist) -> helper vlist
      | EnvFrame (_,_,vlist,parent) -> (helper vlist) + (n_globals parent)