f :=
    g 0 := (0)
    g n := (n, g - n 1)
    return g

return f 10