PUSH_MAPPING_STACK 1570 src/ccl.c      		    PUSH_MAPPING_STACK (0, op);
PUSH_MAPPING_STACK 1626 src/ccl.c      			  PUSH_MAPPING_STACK (map_set_rest_length - point,
PUSH_MAPPING_STACK 1708 src/ccl.c      			  PUSH_MAPPING_STACK (map_set_rest_length, reg[rrr]);
PUSH_MAPPING_STACK 1709 src/ccl.c      			  PUSH_MAPPING_STACK (map_set_rest_length, op);