var todd = tco(function (n) {
    if (n == 0) return tco.value(false);
    else return [teven, [n - 1]];
});