Same as [../rust-teeny/] but `no_std`, takes 4.1 KiB.