Very interesting, have you experimented with getting it working with Crux in Rust?

[dead]