david.debar: Elk processed in Dec_clone