#include <stdio.h>

int main(void)
{
    int flag = 42;
    printf(flag ? "%f" : "%d", 3.4);
}