Symbol: NETBSD32_POINTER_TYPE