class TYPED_POINTER
end