/* Test nested function calls in case expressions */
factorial : n -> case n of
    0 : 1
    _ : factorial (n - 1);

test : factorial 5;
..out test;