ZoKrates/zokrates_cli/examples/arrays/array_loop.zok

def main() -> u32 {
    u32[3] a = [1, 2, 3];
    u32 mut c = 0;
    for u32 i in 0..3 {
        c = c + a[i];
    }
    return c;
}