void mixed_params(uint x_14, float x_15, int x_16) {
  return;
}

void x_100_1() {
  return;
}

void x_100() {
  x_100_1();
  return;
}