#include <stdio.h>

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

int
main(void)
{
    printf("%f\n", add(2, 3, 4.3));
}