Comment by sluongng

I suspect they just use no_std whenever its applicable

Turn out if you have strong control over the compiler and linker instrumentations, there are a lot of ways to optimize binary size