external frame    : t -> unit = "viewer_frame"