// "missing_func-b.hac"
// copy-modified from "missing_func-a.hac"
// diagnostic message for unbound function

import "testlib/int-source.hac";
import "testlib/int-sink.hac";

defproc my_gcd(chan?(int) A, B; chan!(int) G) {
int a, b, g;
chp {
*[
	// OK to use existing identifier
	A?(a), B?(b); 
	g := my_gcd(a, b);
	G!(g)
]
}
}

chan(int) A, B, G;
my_gcd X(A, B, G);
int_source<32> AS<4, {12,15,17,30}>(A);
int_source<32> BS<5, {9,13,22,27,34}>(B);
int_sink GS(G);

