input_ports {
   integer A;
}

output_ports {
   integer B;
}

var {
   mat1 v;
   integer state;
}

init_comp {
   initcomp(j);
}

input_rules {
   { avail(A[i]) : (i N) }, state == 0
       => 
   { v[i] = val(A[i]); : (i N) }; state = 1;
}

comp {
   foo(v);
}

output_rules {
   true => { B[i] = v[i]; : (i N) };
}
