# define F25519_IMPL 10
#endif
+#if F25519_IMPL == 26
+ typedef int32 f25519_piece;
+#endif
+#if F25519_IMPL == 10
+ typedef int16 f25519_piece;
+#endif
+
/*----- Functions provided ------------------------------------------------*/
/* --- @f25519_set@ --- *