Toplevel: rewrite