Can der Fehler, in principle (I see it's not implemented right now), work with `#![no_std]` and without `alloc`?