public final void writeTransactionPointer(int pointer) { _fileHeader.writeTransactionPointer(systemTransaction(), pointer); }