pub fn emit_semaphore_trace_testbench(name: &str, width: usize) -> String
Scripted set/inc/threshold trace against the Rust model of the semaphore.