fe_tobytes
static void fe_tobytes(uint8_t *s, const fe h) {
static __always_inline void fe_tobytes(uint8_t s[32], const fe *f)