only use #[no_core] in libcore