A few tweaks for correctness, and a few more tests pass.
Try making unsaturated malingering stores, rather clumsily.