val cache01 : unit -> transaction page
(* val cache10 : unit -> transaction page *)
(* val cache11 : unit -> transaction page *)
val flush01 : unit -> transaction page
(* val flush10 : unit -> transaction page *)
(* val flush11 : unit -> transaction page *)
val cache : int -> transaction page
val flush : int -> transaction page