f9
#define v0(p) bytes2word(fe(p), f9(p), fd(p), fb(p))
#define v1(p) bytes2word(fb(p), fe(p), f9(p), fd(p))
#define v2(p) bytes2word(fd(p), fb(p), fe(p), f9(p))
#define v3(p) bytes2word(f9(p), fd(p), fb(p), fe(p))
w = bytes2word(fe(b), f9(b), fd(b), fb(b));
uint8_t f9;
.f9 = r9,
result[9U] = r0_10.f9;
result[20U] = r11_21.f9;
int32_t f9 = f[9];
int32_t f9_2 = 2 * f9;
int64_t f9g0 = f9 * (int64_t)g0;
int64_t f9g2_19 = f9 * (int64_t)g2_19;
int64_t f9g4_19 = f9 * (int64_t)g4_19;
int64_t f9g6_19 = f9 * (int64_t)g6_19;
int64_t f9g8_19 = f9 * (int64_t)g8_19;
int32_t f9 = f[9];
int32_t f9_38 = 38 * f9; /* 1.959375*2^30 */
int64_t f0f9_2 = f0_2 * (int64_t)f9;
int64_t f9f9_38 = f9 * (int64_t)f9_38;
int32_t f9 = f[9];
int32_t f9_38 = 38 * f9; /* 1.959375*2^30 */
int64_t f0f9_2 = f0_2 * (int64_t)f9;
int64_t f9f9_38 = f9 * (int64_t)f9_38;
int32_t f9 = f[9];
int64_t h9 = f9 * (int64_t)121666;