// vzajemna rekurzija
typ list = (first: int, rest:list)