Module Hacl_x25519_xen