fitting example of high-level Circuit smart constructor