writeWALRecord is unused according to the LSP. Can it be removed?