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