do not gensym, this needs to be deterministic
auto-saver
.