Made current_page_acq_t use timestamped_page_ptr_t.