Add spec for encoding ctor param