int_pointer
cover_check_assign_types_compatible(int *int_pointer, int i)
int_pointer = i;
i = int_pointer;