circ/scripts/zcx_tests/single_generic_const.zx

const u32[5] asdf = [1, 2, 3, 4, 5];

def last<N>(u32[N] a) -> u32 {
    return a[N-1];
}

def main() -> u32 {
    return last(asdf);
}