Rust Backend for CCS.