external update_traversal  : t -> unit = "viewer_update_traversal"