TESTING IMPLEMENTATIONS OF DES