Exports include detached bullets — which is exactly what a delete produces — and an import now says what it discarded