set debug true
set echo true

# Before we start, we will grant ourselves the right to delete ef-arr-record-nr 1 files at any time. For this we
# temporarily modify EF.ARR
select /EF.ARR
export --filename /EF.ARR > restore_ef_arr.script.tmp
update_record 1 800101a40683010a950108800106900080016090008401d4a40683010a950108ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff

# Create a new DF and select it
select MF
create_df --ef-arr-file-id 2f06 --ef-arr-record-nr 1 1234
select 1234

# Delete the DF that we have created
select MF
delete_file --force-delete 1234

# Restore EF.ARR to its original state
run_script restore_ef_arr.script.tmp