let get (r,name) =
          match !r with
          | None -> raise (Global_not_initialized name)
          | Some v -> v