Save 0Y preferences.

Reported for POPL.