consider void* the independent spanning type of any two incompatible pointer types