6 bugs discovered and fixed in DES