typedef int (*debug_callee) (int);
int
no_debug_caller_intermediate(int input, debug_callee callee)
{
int return_value = 0;
return_value = callee(input);
return return_value;
}
int
no_debug_caller (int input, debug_callee callee)
{
int return_value = 0;
return_value = no_debug_caller_intermediate (input, callee);
return return_value;
}