3023 	char *mem = mem_;  in check_dummy_mem_ok()  local
3024 	mem -= 16;  in check_dummy_mem_ok()
3025 	return !memcmp(mem, "{[<guardedram>]}", 16);  in check_dummy_mem_ok()
3031 	char *mem = malloc(len+16);  in dummy_malloc()  local
3032 	memcpy(mem, "{[<guardedram>]}", 16);  in dummy_malloc()
3033 	return mem+16;  in dummy_malloc()
3039 	char *mem = mem_;  in dummy_realloc()  local
3040 	if (!mem)  in dummy_realloc()
3043 	mem -= 16;  in dummy_realloc()
3044 	mem = realloc(mem, len+16);  in dummy_realloc()
3045 	return mem+16;  in dummy_realloc()
3051 	char *mem = mem_;  in dummy_free()  local
3053 	mem -= 16;  in dummy_free()
3054 	free(mem);  in dummy_free()