memory_is_poisoned_1
return memory_is_poisoned_1(addr);
return *shadow_addr || memory_is_poisoned_1(addr + size - 1);
return memory_is_poisoned_1(addr + size - 1);
return *shadow_addr || memory_is_poisoned_1(addr + 15);