DeletionQueueCounter: StorageDescriptor<
    [],
    { delete_counter: number; insert_counter: number },
    false,
    never,
>

A pair of monotonic counters used to track the latest contract marked for deletion and the latest deleted contract in queue.