GET_CCL_CODE      921 src/ccl.c            GET_CCL_CODE (code, ccl_prog, ic++);
GET_CCL_CODE     1030 src/ccl.c      	      GET_CCL_CODE (code, ccl_prog, ic++);
GET_CCL_CODE     1050 src/ccl.c      	      GET_CCL_CODE (code, ccl_prog, ic++);