#include <stdio.h>
#include <stdlib.h>

extern double iff(int,double);

int main(int argc, char *argv[]) {
    printf("%f\n", iff(20,1.0));
}