withRegister
Circuit