pc, cond, complete but untested decoder