assert2.sail -auto_mono