RE: 80 bit security from 40 bit exportab