/* Test function call evaluation */
is_even : n -> n % 2 = 0;

result1 : is_even 4;
result2 : is_even 5;
result3 : is_even 0;
..out result1;
..out result2;
..out result3;