destruct: don't reprint (and so, reformat) user code