/* Function call test */ is_even : n -> n % 2 = 0; test_func_call : n -> when is_even n is true then "even number" false then "odd number"; result : test_func_call 4; ..out result;