default:

x:
	+redo x1.out x2.out

y:
	+redo x
	+redo y1.out y2.out
