CCL_READ_CHAR     980 src/ccl.c      	  CCL_READ_CHAR (reg[rrr]);
CCL_READ_CHAR     994 src/ccl.c      	  CCL_READ_CHAR (reg[rrr]);
CCL_READ_CHAR    1013 src/ccl.c      	  CCL_READ_CHAR (reg[rrr]);
CCL_READ_CHAR    1018 src/ccl.c      	  CCL_READ_CHAR (reg[rrr]);
CCL_READ_CHAR    1023 src/ccl.c      	  CCL_READ_CHAR (reg[rrr]);
CCL_READ_CHAR    1036 src/ccl.c      	      CCL_READ_CHAR (reg[rrr]);
CCL_READ_CHAR    1230 src/ccl.c      	  CCL_READ_CHAR (reg[rrr]);
CCL_READ_CHAR    1241 src/ccl.c      	  CCL_READ_CHAR (reg[rrr]);
CCL_READ_CHAR    1341 src/ccl.c      	      CCL_READ_CHAR (i);