\programVariables {
	int x, y;
}

\problem {
           x < y
        -> \<{
               int t = x;
               x=y;
               y=t;
             }\> y < x
}