let N: int = 16;

namespace ConstantInIdentity(N);
    col fixed ISLAST(i) { if i == N - 1 { 1 } else { 0 } };
    col witness x;

    let offset = 5;

    ISLAST * (x' - 1) = 0;

    (1-ISLAST) * (x' - x - offset) = 0;

    public out = x(N - 1);
