int main(void)
{
    double x = .5;
    float y = .25f;
    if (x != 0.5) return 1;
    if (y != 0.25f) return 2;
    return 0;
}
