PUSH_MAPPING_STACK 1562 src/ccl.c      		    PUSH_MAPPING_STACK (0, op);
PUSH_MAPPING_STACK 1618 src/ccl.c      			  PUSH_MAPPING_STACK (map_set_rest_length - point,
PUSH_MAPPING_STACK 1700 src/ccl.c      			  PUSH_MAPPING_STACK (map_set_rest_length, reg[rrr]);
PUSH_MAPPING_STACK 1701 src/ccl.c      			  PUSH_MAPPING_STACK (map_set_rest_length, op);