POP_MAPPING_STACK 1578 src/ccl.c      		    POP_MAPPING_STACK (map_set_rest_length, orig_op);
POP_MAPPING_STACK 1579 src/ccl.c      		    POP_MAPPING_STACK (map_set_rest_length, reg[rrr]);
POP_MAPPING_STACK 1607 src/ccl.c      			POP_MAPPING_STACK (map_set_rest_length, reg[rrr]);
POP_MAPPING_STACK 1677 src/ccl.c      			  POP_MAPPING_STACK (map_set_rest_length, reg[rrr]);
POP_MAPPING_STACK 1690 src/ccl.c      			  POP_MAPPING_STACK (map_set_rest_length, reg[rrr]);
POP_MAPPING_STACK 1718 src/ccl.c      		  POP_MAPPING_STACK (map_set_rest_length, reg[rrr]);
POP_MAPPING_STACK 1721 src/ccl.c      		  POP_MAPPING_STACK (map_set_rest_length, reg[rrr]);