void printf(char*, ...);

int main() {
  printf("%f, %d, %f, %d, %f\n", //, %d, %f, %d, %f, %d\n", 
          1.0, 2, 3.0, 4, 5.0 /*, 6, 7.0, 8, 9.0, 10*/);
  return 0;
}