/* A simple arithmetic test case */
int main(void) {
    double x = 2.0;
    return (x * 2.0 == 4.0);
}