-auto_mono tupledeps2.sail
