static uint8_t si_f0_fun(bool v0_a) {
l0:;
  if (!(v0_a)) goto l2;
  goto l1;
l2:;
  return ((uint8_t)5ull);
  goto l0;
  if (!(v0_a)) goto l3;
  goto l_sym;
l3:;
l_sym:;
l1:;
  return ((uint8_t)6ull);
}