circuit-cpp Specification