module: PR-100 define open generic countdown(n :: ) => (val :: ); define method countdown(n :: ) => (val :: ) if (n = 0) 1 else countdown(n - 1) end if; end method countdown;