itself_rewriting.sail -auto_mono