This is the class for C pointer types. There is one built-in type, voidstar.
i1 : voidstar o1 = void* o1 : ForeignPointerType
The object ForeignPointerType is a type, with ancestor classes ForeignType < Type < MutableHashTable < HashTable < Thing.