allocated AnyPtr freed
allocated (Ptr t) freed
