return (((char *) CONTROL_STACK_START <= (char *) pointer) &&
((char *) pointer < (char *) current_control_stack_pointer));
}
return (((char *) CONTROL_STACK_START <= (char *) pointer) &&
((char *) pointer < (char *) current_control_stack_pointer));
}