def main (a: []i32): i32 = reduce (+) 0 a