So Inform7 like languages generating Rust code and then binary code and linked against the OS.