(there are pointer types, but they are very rare, and basically only used in ffi)