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