external vdone    : t -> bool = "viewer_done"