Actually, no need for a library any more.

But we can't get around making the production code symbols weak.