ddump takes argument: threshold=0
Deleted Routine, introducing repeat (incomplete)
update in formats
update in deletion condition of tfinish