1 2
countdown : n -> when n is 0 then 0 _ then countdown (n - 1); countdown : n -> when n is 0 then 0 _ then countdown (n - 1); result : countdown 3;