Moved from rust-core to libstd. Need to fix up BDT code