ziv@2213: val cache : int -> transaction page
ziv@2213: val flush : int -> transaction page