clock x[2]; system P;