let N: int = 16;

namespace std::convert(N);
    let fe = [];

namespace std::prover(N);
    enum Query {
        Input(int, int),
    }

namespace Quad(N);
    col fixed id(i) { i };
    col fixed double(i) { i * 2 };

    col witness input(i) query std::prelude::Query::Input(0, i + 1);
    col witness wdouble;
    col witness quadruple;

    [input, wdouble] in [id, double];
    [wdouble, quadruple] in [id, double];

    public out = quadruple(N-1);
