float tint_symbol_2(int tint_symbol_3) {
  return float(tint_symbol_3);
}

void tint_symbol_4() {
  int tint_symbol_5 = 0;
  const float tint_symbol_6 = tint_symbol_2(tint_symbol_5);
  return;
}