POP_MAPPING_STACK 1570 src/ccl.c      		    POP_MAPPING_STACK (map_set_rest_length, orig_op);
POP_MAPPING_STACK 1571 src/ccl.c      		    POP_MAPPING_STACK (map_set_rest_length, reg[rrr]);
POP_MAPPING_STACK 1599 src/ccl.c      			POP_MAPPING_STACK (map_set_rest_length, reg[rrr]);
POP_MAPPING_STACK 1669 src/ccl.c      			  POP_MAPPING_STACK (map_set_rest_length, reg[rrr]);
POP_MAPPING_STACK 1682 src/ccl.c      			  POP_MAPPING_STACK (map_set_rest_length, reg[rrr]);
POP_MAPPING_STACK 1710 src/ccl.c      		  POP_MAPPING_STACK (map_set_rest_length, reg[rrr]);
POP_MAPPING_STACK 1713 src/ccl.c      		  POP_MAPPING_STACK (map_set_rest_length, reg[rrr]);