/* Test complex coordinate classification */

/* Complex coordinate classification */
classify_coordinates : x y ->
  when ((x + 1) % 2) ((y - 1) % 2) is
    0 0 then "both transformed even"
    0 1 then "x transformed even, y transformed odd"
    1 0 then "x transformed odd, y transformed even"
    1 1 then "both transformed odd";

/* Test coordinate classification */
coord1 : classify_coordinates 1 1;
..out coord1;