CCL_DECODE_CHAR  1348 src/ccl.c      	      i = CCL_DECODE_CHAR (reg[RRR], reg[rrr]);
CCL_DECODE_CHAR  1353 src/ccl.c      	      i = CCL_DECODE_CHAR (reg[RRR], reg[rrr]);
CCL_DECODE_CHAR  1365 src/ccl.c      		i = CCL_DECODE_CHAR (reg[RRR], reg[rrr]);
CCL_DECODE_CHAR  1407 src/ccl.c      		i = CCL_DECODE_CHAR (reg[RRR], reg[rrr]);