// "lvs-order-02.hac"
// copy-modified from "lvs-order-01.hac"
// fails: order() doesn't accept grouped arguments... yet

template <pint N>
defproc lvs_order(bool a[N]) {
bool b[N];
spec {
	order(a[0], a[N-1])
	order(b[0], b[N-1])
}
}

lvs_order<3> foo;

