no need to use #[no_core] in libstd