// "120.hac"
// copy-modified from "119.hac"

template <pbool C>
defproc fa(bool x, y) {
[ C ->
	x = y;
]
}


template <><pbool C>
defproc foo(bool x, y) {
	fa<C> fa0(x, y);
}

// foo t<true>;
foo t, s, r, q;
t<true>;
r<false>;
s = t;
r = q;


