Real_Impl.Real_Unique_Impl