TOPLEVEL: revert