CCL_READ_CHAR     972 src/ccl.c      	  CCL_READ_CHAR (reg[rrr]);
CCL_READ_CHAR     986 src/ccl.c      	  CCL_READ_CHAR (reg[rrr]);
CCL_READ_CHAR    1005 src/ccl.c      	  CCL_READ_CHAR (reg[rrr]);
CCL_READ_CHAR    1010 src/ccl.c      	  CCL_READ_CHAR (reg[rrr]);
CCL_READ_CHAR    1015 src/ccl.c      	  CCL_READ_CHAR (reg[rrr]);
CCL_READ_CHAR    1028 src/ccl.c      	      CCL_READ_CHAR (reg[rrr]);
CCL_READ_CHAR    1222 src/ccl.c      	  CCL_READ_CHAR (reg[rrr]);
CCL_READ_CHAR    1233 src/ccl.c      	  CCL_READ_CHAR (reg[rrr]);
CCL_READ_CHAR    1333 src/ccl.c      	      CCL_READ_CHAR (i);