val cache : int -> transaction page val flush : int -> transaction page val flush17 : transaction page