US law on re-exporting crypto software?