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