library Test

from classExampleCSMOF get |-> s

spec s2 = s
