/compiler/circle-verify/