Add proper error reports in write_random_seed, via the new 'nonfatal'