orig_mark_stack_ptr  537 gc/typd_mlc.c      mse * orig_mark_stack_ptr = mark_stack_ptr;
orig_mark_stack_ptr  542 gc/typd_mlc.c      	return(orig_mark_stack_ptr);
orig_mark_stack_ptr  556 gc/typd_mlc.c      	new_mark_stack_ptr = orig_mark_stack_ptr + 1;