Module Hacl_x25519_freestanding