Symbol: _Void_pointer