code: @Override
  	public void redo(Transaction tx) {
  		Buffer buff = tx.bufferMgr().pin(blk);
  		buff.setVal(offset, newVal, tx.getTransactionNumber(), null);
  		tx.bufferMgr().unpin(buff);
  	}
docs: Replaces the specified data value with the new value saved in the log
  record. The method pins a buffer to the specified block, calls setInt to
  restore the saved value (using a dummy LSN), and unpins the buffer.
  
  @see LogRecord#redo(Transaction)