Cleaning up string conversion in circ.rs