ziv@2292: val check : int -> transaction page
ziv@2292: val flush : int -> transaction page