Setting `#![no_std]` require more manual imports