Destringifier

This kind of works. I believe it does what it is supposed to do, but
the Java limitation of not having “raw” strings makes feeding the
correct string into the function difficult.