test : n -> n - 1;
test : n -> n - 1; result : test 5;