uint8_t_x4
static KRML_MUSTINLINE uint8_t_x4
(KRML_CLITERAL(uint8_t_x4){ .fst = result0, .snd = result1, .thd = result2, .f3 = result3 });
