#include $input int N; $output int sum; void add(int i){ sum += i; } void main(){ $proc procs[N]; sum = 0; for(int i = 0; i < N; i++) procs[i] = $spawn add(i); for(int i = 0; i < N; i++) $wait(procs[i]); }