GET_CCL_CODE      929 src/ccl.c            GET_CCL_CODE (code, ccl_prog, ic++);
GET_CCL_CODE     1038 src/ccl.c      	      GET_CCL_CODE (code, ccl_prog, ic++);
GET_CCL_CODE     1058 src/ccl.c      	      GET_CCL_CODE (code, ccl_prog, ic++);