Re: US law on re-exporting crypto software?