let globals state =
      let values = Value.globals_state () in
      Globals.Vars.fold (fun v _ s -> variable s values v) state