CCL_DECODE_CHAR  1340 src/ccl.c      	      i = CCL_DECODE_CHAR (reg[RRR], reg[rrr]);
CCL_DECODE_CHAR  1345 src/ccl.c      	      i = CCL_DECODE_CHAR (reg[RRR], reg[rrr]);
CCL_DECODE_CHAR  1357 src/ccl.c      		i = CCL_DECODE_CHAR (reg[RRR], reg[rrr]);
CCL_DECODE_CHAR  1399 src/ccl.c      		i = CCL_DECODE_CHAR (reg[RRR], reg[rrr]);