Symbol: is_void_pointer