#include "std/io.toc", io;

arr_sum ::= fn(t,n::=, a:[n]t) t {
	total := 0 as t;
	for x := a {
		total += x;
	}
	total
};

main ::= fn() {
	 a : [3]int;
	 a[0] = 1;
	 a[1] = 1;
	 a[2] = 1;
	 
	 io.puti(arr_sum(a));	 
};
main();