cleanup

abstract fun cleanup(ditto: Ditto)