Havening Techniques in De11