RFC: Sharding libstd