-- Nothing to undo: 0001 creates no objects.
SELECT 1;
