An attempt at writing C libraries in Rust that can be called from Idris