/* Simple case expression test */
factorial : n -> case n of
    0 : 1
    _ : 2;

test : factorial 5;
..out test;