rust/tests/cc_seme.rs