assert writers don't execute before restart