added unrelated_pointer_cast