decode.circ added