Added the sensitive variable for 'destr'