I see in that document the mention of a libredox as a libstd replacement, I'm guessing that means they have their own primitives with constructors that handle a

I see in that document the mention of a libredox as a libstd replacement, I'm guessing that means they have their own primitives with constructors that handle allocation failures?