crypto (semi-)export issue