type backup
val init : t ‑> string ‑> t ‑> string ‑> backup
val step : backup ‑> int ‑> bool
val remaining : backup ‑> int
val pagecount : backup ‑> int