printf();

double sum(a, b, c) double c; {
 return (double)a + (double)b + c;
}

main() {
 printf("%lf\n", sum(1, 0.5, 3));
}