Assume default true for dumping state