Binary default ctor creates valid instances