input_ports { integer A; }

output_ports { integer B; }

var { integer j; }

input_rules {
   avail(A) => j = val(A);
}

comp {
   foo(j);
}

output_rules {
   true => B = j;
}
