# Unknown pointer type (void pointers)
