RE: crypto (semi-)export issue