2pc_array_sum.zok

def main(private u32 a, private u32 b) -> u32 {
    u32[2] c = [a, b];
    return c[0] + c[1];
}