rewrite remember_fix.
incomplete rewrite.