ComplexEx: obj %requires LIB.Complex %visible Complex C1: obj Complex(,) C2: obj Complex(,) C3: ref Complex