cs2.out z ; x <= z ; y ]]> x <= z ]]> x ; z <= y ; z ]]> x <= z & y <= z ]]>