--- uid: Specification.Constructor --- # Constructor Invocation Specification