/* Test multi-value patterns with expressions */
test_multi_expr : x y -> 
  when (x % 2) (y % 2) is
    0 0 then "both even"
    0 1 then "x even, y odd"
    1 0 then "x odd, y even"
    1 1 then "both odd";

result : test_multi_expr 4 6;
..out result;