競きょうプロ定番ていばんカタログ（Part 6 総まとめそうまとめ）

#entry main
#indent 4
#target std

#import "core/math" as *
#import "core/result" as *
#import "std/streamio" as *
#import "std/iotarget" as *
#import "alloc/collections/vec" as *
#import "core/mem" as *

fn main <()*> ()> ():
    let sc <StreamScanner> unwrap_ok open ReadStream::Stdio;
    let n <i32> read sc;
    let mut a <Vec<i32>> new<i32>;
    let mut i <i32> 0;
    while lt i n:
        do:
            set a push a read sc;
            set i add i 1;
    let mut sum <i32> 0;
    let s <VecDataLen<i32>> vec_data_len<i32> a;
    let p <i32> mem_ptr_addr get s "data";
    let len <i32> get s "len";
    let mut j <i32> 0;
    while lt j len:
        do:
            set sum add sum load_i32 add p mul j 4;
            set j add j 1;
    close sc;
    unwrap_ok open WriteStream::Stdio
    |> writeln sum
    |> flush
    |> close