ziv@2213: val cache : int -> transaction page ziv@2269: val cache2 : int -> int -> transaction page ziv@2213: val flush : int -> transaction page ziv@2242: val flush17 : transaction page