<s>[INST] I understand the void pointer casts to any pointer type without the need for an explicit cast in C, but I don't get the "void*" is not compatible with "int*" warnings for assignment. What's going on there?[/INST]